Theory and Applications of Satisfiability Testing – SAT 2019

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Theory and Applications of Satisfiability Testing – SAT 2019
 
ISBN
978-3-030-24257-2
 
Publisher Herausgeber
springer
Lecture Notes in Computer Science
 
Place of publishing Erscheinungsort
Cham
11628
 
DOI
10.1007/978-3-030-24258-9
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan Proof Complexity of Fragments of Long-Distance Q-ResolutionKonferenzbeitrag Inproceedings 2019