P van der Tak | TU Delft Repository

Pv

P van der Tak

Conference paper (2)

Journal article (1)

3 records found

1

Concurrent Cube-and-Conquer

Conference paper (2012) - P van der Tak (author), M.J.H. Heule (author), A Biere (author)

Reusing the Assignment Trail in CDCL Solvers

Journal article (2011) - P van der Tak (author), A Ramos (author), M.J.H. Heule (author)

Between Restarts and Backjumps

Conference paper (2011) - A Ramos (author), P van der Tak (author), M.J.H. Heule (author)