Between Restarts and Backjumps. - Antonio Ramos; Peter van der Tak; Marijn Heule (SAT, 2011)

Reusing the Assignment Trail in CDCL Solvers. - Peter van der Tak; Antonio Ramos; Marijn Heule (J. Satisf. Boolean Model. Comput., 2011)

Concurrent Cube-and-Conquer - (Poster Presentation). - Peter van der Tak; Marijn Heule; Armin Biere (SAT, 2012)

Concurrent Cube-and-Conquer. - Peter van der Tak; Marijn Heule; Armin Biere (CoRR, 2014)