Overview and analysis of the SAT Challenge 2012 solver competition

Balint, A.; Belov, A.; Järvisalo, M.; Sinz, C.

Zugehörige Institution(en) am KIT	Institut für Theoretische Informatik (ITI)
Publikationstyp	Zeitschriftenaufsatz
Jahr	2015
Sprache	Englisch
Identifikator	DOI: 10.1016/j.artint.2015.01.002 ISSN: 0004-3702 KITopen ID: 1000057139
Erschienen in	Artificial intelligence
Band	223
Seiten	120-155