KIT | KIT-Bibliothek | Impressum | Datenschutz

SAT Race 2015

Balyo, Tomáš 1; Biere, Armin; Iser, Markus 1; Sinz, Carsten 1
1 Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1016/j.artint.2016.08.007
Scopus
Zitationen: 38
Dimensions
Zitationen: 31
Zugehörige Institution(en) am KIT Fakultät für Informatik (INFORMATIK)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2016
Sprache Englisch
Identifikator ISSN: 0004-3702, 1872-7921
KITopen-ID: 1000059749
Erschienen in Artificial intelligence
Verlag Elsevier
Band 241
Seiten 45-65
Nachgewiesen in Web of Science
Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page