Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer / LNCS
 
Place of publishing Erscheinungsort
7962
 
DOI
10.1007/978-3-642-39071-5
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Heule, Marijn ; Szeider, Stefan A SAT Approach to Clique-WidthKonferenzbeitrag Inproceedings 2013
2de Haan, Ronald ; Kanj, Iyad ; Szeider, Stefan Local BackbonesKonferenzbeitrag Inproceedings 2013
3Misra, Neeldhara ; Ordyniak, Sebastian ; Raman, Venkatesh ; Szeider, Stefan Upper and Lower Bounds for Weak Backdoor Set DetectionKonferenzbeitrag Inproceedings 2013