English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  CDCL with Reduction

Teucke, A. (2013). CDCL with Reduction. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is

Basic

show hide
Genre: Thesis
Abbreviation : {CDCL} with Reduction

Files

show Files
hide Files
:
rcdcl.pdf (Any fulltext), 408KB
 
File Permalink:
-
Name:
rcdcl.pdf
Description:
-
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/pdf
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Teucke, Andreas1, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2013-05-242013
 Publication Status: Issued
 Pages: 70 p.
 Publishing info: Saarbrücken : Universität des Saarlandes
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Teucke13
Other: Local-ID : 2CADB201C14614B8C1257C66003EDCEF-Teucke13
 Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show