Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
SW
S. Wieringa
Academic Work (2)
Conference paper (2)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
2 records found
1
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
Conference paper (2012) -
MJH Heule (author)
,
M.J.H. Heule (author)
,
O Kullmann (author)
,
S. Wieringa (author)
,
A Biere (author)
Finding Guaranteed MUSes Fast
Conference paper (2008) -
H. van Maaren (author)
,
H van Maaren (author)
,
S. Wieringa (author)
