Peter van der Tak

According to our database, Peter van der Tak authored at least 4 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Concurrent Cube-and-Conquer.

Peter van der Tak, Marijn Heule, Armin Biere

CoRR, 2014

2012

Concurrent Cube-and-Conquer - (Poster Presentation).

Peter van der Tak, Marijn Heule, Armin Biere

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

Reusing the Assignment Trail in CDCL Solvers.

Peter van der Tak, Antonio Ramos, Marijn Heule

J. Satisf. Boolean Model. Comput., 2011

Between Restarts and Backjumps.

Antonio Ramos, Peter van der Tak, Marijn Heule

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011