Library
local_library
Home Repository
SM
S Mijnders
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
Symbiosis of Search and Heuristics for Random 3-SAT
Conference paper (2010) -
S Mijnders (author)
,
B de Wilde (author)
,
M.J.H. Heule (author)
