@inproceedings{fc4e274ceba7441d9cbec4a0212d248b,
title = "Concurrent Cube-and-Conquer",
keywords = "Geen BTA classificatie",
author = "{van der Tak}, P and MJH Heule and A Biere",
year = "2012",
language = "English",
isbn = "978-3-642-31611-1",
publisher = "Springer",
pages = "475--476",
editor = "A Cimatti and R Sebastiani",
booktitle = "Theory and Applications of Satisfiability Testing ¿ SAT 2012",
note = "15th International Conference Theory and Applications of Satisfiability Testing ¿ SAT 2012 ; Conference date: 17-06-2012 Through 20-06-2012",
}