IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)
Book title Buchtitel
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)
Editor Herausgeber_in
Publisher Herausgeber
Leibniz International Proceedings in Informatics (LIPIcs)
Series Schriftenreihe
Leibniz International Proceedings in Informatics
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan ; Lodaya, Kamal ; Mahajan, Meena | Satisfiability of Acyclic and Almost Acyclic CNF Formulas | Konferenzbeitrag Inproceedings  | 2010 |