Peter van der Tak

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Special Session

Poster Presentation

Top Venues

Publications

Peter van der Tak, Marijn Heule, Armin Biere
Concurrent Cube-and-Conquer. CoRR (2014)
Peter van der Tak, Marijn Heule, Armin Biere
Concurrent Cube-and-Conquer - (Poster Presentation). SAT (2012)
Antonio Ramos, Peter van der Tak, Marijn Heule
Between Restarts and Backjumps. SAT (2011)
Peter van der Tak, Antonio Ramos, Marijn Heule
Reusing the Assignment Trail in CDCL Solvers. J. Satisf. Boolean Model. Comput. 7 (4) (2011)