KIT | KIT-Bibliothek | Impressum | Datenschutz

Overview and analysis of the SAT Challenge 2012 solver competition

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



Originalveröffentlichung
DOI: 10.1016/j.artint.2015.01.002
Scopus
Zitationen: 14
Web of Science
Zitationen: 7
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2015
Sprache Englisch
Identifikator ISSN: 0004-3702
KITopen-ID: 1000057139
Erschienen in Artificial intelligence
Band 223
Seiten 120-155
Nachgewiesen in Scopus
Web of Science
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page