Theory and Applications of Satisfiability Testing -- SAT 2012

Book title Buchtitel

ISBN

978-3-642-31611-1

Editor Herausgeber_in

Cimatti, Alessandro
Sebastiani, Roberto

Publisher Herausgeber

Springer
Springer LNCS

Place of publishing Erscheinungsort

Berlin, Heidelberg
7317

DOI

10.1007/978-3-642-31612-8

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin	Resolution-Based Certificate Extraction for QBF	Konferenzbeitrag Inproceedings	2012