Concepedia
1
Publications
18
Citations
H-Index
2014
Active since
Publications per year
2014–2014
Symbiosis of Search and Heuristics for Random 3-SAT
Sid Mijnders, Boris de Wilde, Marijn J. H. Heule · arXiv (Cornell University) · 2014 · 18 citations · Full text
Rows per page
1–1 of 1