CDCL with Reduction

Teucke, Andreas

Local TagsRelease HistoryDetailsSummary

CDCL with Reduction

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

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0015-7A32-2 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0019-885A-4

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, Andreas¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2013-05-24Date issued: 2013

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