Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
OK
O Kullmann
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 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)
