@inproceedings{,
	author          = {Peter van der Tak and Marijn J. H. Heule and Armin Biere},
	title           = {Concurrent Cube-and-Conquer},
	booktitle       = {Pragmatics of SAT},
	year            = {2012},
	project         = {SAT},
	group           = {ALG}
}