Theory and Applications of Satisfiability Testing - SAT 2011
Book title Buchtitel
Theory and Applications of Satisfiability Testing - SAT 2011
Publisher Herausgeber
Lecture Notes in Computer Science
Place of publishing Erscheinungsort
6695
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan | Satisfiability of Acyclic and almost Acyclic CNF Formulas (II) | Konferenzbeitrag Inproceedings  | 2011 |