Computing Variable Orders for SAT-Problems

Esquivel Pinto, Claudia Soa

Local TagsRelease HistoryDetailsSummary

Computing Variable Orders for SAT-Problems

Esquivel Pinto, C. S. (2013). Computing Variable Orders for SAT-Problems. 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-7A2D-0 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0019-884C-4

Genre: Thesis

Latex : Computing Variable Orders for {SAT}-Problems

Files

show Files

hide Files

:

MasterThesis_Claudia_Esquivel.pdf (Any fulltext), 756KB

File Permalink:
-

Name:
MasterThesis_Claudia_Esquivel.pdf

Description:
-

OA-Status:

Visibility:
Private

MIME-Type / Checksum:
application/pdf

Technical Metadata:

Copyright Date:
-

Copyright Info:
-

License:
-

Locators

show

Creators

show

hide

Creators:
Esquivel Pinto, Claudia Soa¹, 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-04-29Date issued: 2013

Publication Status: Issued

Pages: 66 p.

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Esquivel13
Other: Local-ID: 9111BA971F345CCAC1257C66003D5892-Esquivel13

Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show