Ensemble-based prediction of SAT search behaviour

Open Access
Authors
Publication date 2001
Host editors
  • H. Kautz
  • B. Selman
Book title Electronic Notes in Discrete Mathematics, volume 9
Publisher Elsevier Science Publishers
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Downloads
Permalink to this page
Back