Theory and Applications of Satisfiability Testing – SAT 2012

Book title Buchtitel

Publisher Herausgeber

Lecture Notes in Computer Science, Springer Berlin Heidelberg

Place of publishing Erscheinungsort

7317

Series Schriftenreihe

Lecture Notes in Computer Science

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

RIS EndNote Bibtex Send via email

	Authors / Editors	Title	Type	Issue Date
1	Slivovsky, Friedrich ; Szeider, Stefan ; Cimatti, Alessandro ; Sebastiani, Roberto	Computing Resolution-Path Dependencies in Linear Time ,	Konferenzbeitrag Inproceedings	2012
2	Weissenbacher, Georg	Interpolant Strength Revisited	Konferenzbeitrag Inproceedings	2012
3	Egly, Uwe	On Sequent Systems and Resolution for QBFs	Konferenzbeitrag Inproceedings	2012