S. Wieringa | TU Delft Repository

Library

local_library Home Repository

SW

S. Wieringa

Conference paper (2)

2 records found

1

Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

Conference paper (2012) - MJH Heule (author) , O Kullmann (author) , S. Wieringa (author) , A Biere (author)

Finding Guaranteed MUSes Fast

Conference paper (2008) - H. van Maaren (author) , S. Wieringa (author)