Library
local_library
Home Repository
OG
O Gableske
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
EagleUP: Solving Random 3-SAT using SLS with Unit Propagation
Conference paper (2011) -
O Gableske (author)
,
M.J.H. Heule (author)
