KIT | KIT-Bibliothek | Impressum

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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page