KIT | KIT-Bibliothek | Impressum | Datenschutz

Overview and analysis of the SAT Challenge 2012 solver competition

Balint, A.; Belov, A.; Järvisalo, M.; Sinz, C. 1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)


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