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

Seitenaufrufe: 2
seit 18.05.2018

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