Concurrent Cube-and-Conquer

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proc. 15th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'12)
Publisher	Springer
Pages	475-476
Number of pages	2
Volume	7317
Publication status	Published - 2012

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

@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)",

}