Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
NM
N Manthey
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
Automated Reencoding of Boolean Formulas
Conference paper (2012) -
N Manthey (author)
,
M.J.H. Heule (author)
,
MJH Heule (author)
,
A Biere (author)
