P van der Tak | TU Delft Repository

Library

local_library Home 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)

Between Restarts and Backjumps

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

Reusing the Assignment Trail in CDCL Solvers

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