KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1016/j.artint.2015.01.002
Scopus
Zitationen: 13
Web of Science
Zitationen: 7

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 ISSN: 0004-3702
KITopen-ID: 1000057139
Erschienen in Artificial intelligence
Band 223
Seiten 120-155
Nachgewiesen in Web of Science
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page