Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
SW
S. Wieringa
View Pure Profile
Authored
2 records found
Finding Guaranteed MUSes Fast
Conference paper -
H. van Maaren
,
S. Wieringa
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
Conference paper -
M.J.H. Heule
,
O Kullmann
,
S. Wieringa
,
A Biere