Pv

P van der Tak

3 records found

Authored

Concurrent Cube-and-Conquer
Conference paper (2012) - P van der Tak, M.J.H. Heule, A Biere

Between Restarts and Backjumps
Conference paper (2011) - A Ramos, P van der Tak, M.J.H. Heule

Reusing the Assignment Trail in CDCL Solvers
Journal article (2011) - P van der Tak, A Ramos, M.J.H. Heule