Concurrent Cube-and-Conquer

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Proc. 15th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'12)
Verlag	Springer
Seiten	475-476
Seitenumfang	2
Band	7317
Publikationsstatus	Veröffentlicht - 2012

Name	Lecture Notes in Computer Science (LNCS)

Wissenschaftszweige

@inproceedings{f043db64712c4f49bb9c09ad8b6e7983,

title = "Concurrent Cube-and-Conquer",

author = "\{van der Tak\}, Peter and Marijn Heule and Armin Biere",

year = "2012",

language = "English",

volume = "7317",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "475--476",

booktitle = "Proc. 15th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'12)",

}