SAT 2014

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
SAT 2014
 
Publisher Herausgeber
LNCS / Springer
 
Place of publishing Erscheinungsort
8561
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Slivovsky, Friedrich ; Szeider, Stefan Dependency Schemes and Q-resolutionKonferenzbeitrag Inproceedings 2014
2de Haan, Ronald ; Szeider, Stefan Fixed-Parameter Tractable Reductions to SATKonferenzbeitrag Inproceedings 2014