Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
SM
S Mijnders
View Pure Profile
Authored
1 records found
Symbiosis of Search and Heuristics for Random 3-SAT
Conference paper -
S Mijnders
,
B de Wilde
,
M.J.H. Heule