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