KIT | KIT-Bibliothek | Impressum

SAT Race 2015

Balyo, Tomáš; Biere, Armin; Iser, Markus; Sinz, Carsten



Zugehörige Institution(en) am KIT Fakultät für Informatik (INFORMATIK)
Publikationstyp Zeitschriftenaufsatz
Jahr 2016
Sprache Englisch
Identifikator DOI: 10.1016/j.artint.2016.08.007
ISSN: 0004-3702, 1872-7921
KITopen ID: 1000059749
Erschienen in Artificial intelligence
Band 241
Seiten 45-65
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page