IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)

View Statistics Email Alert RSS Feed

Book details Buch-Details

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
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of Acyclic and Almost Acyclic CNF FormulasKonferenzbeitrag Inproceedings 2010