@inproceedings{,
	author          = {Peter van der Tak and Marijn J. H. Heule and Armin Biere},
	title           = {Concurrent Cube-and-Conquer: Poster Presentation},
	booktitle       = {Theory and Applications of Satisfiability Testing – SAT 2012},
	publisher       = {Springer},
	year            = {2012},
	volume          = {7317},
	series          = {Lecture Notes in Computer Science},
	pages           = {475-476},
	url             = {http://link.springer.com/chapter/10.1007/978-3-642-31612-8_42},
	project         = {SAT},
	group           = {ALG}
}