Hard satisfiable instances for DPLL-type algorithms
S.I. Nikolenko
Journal of Mathematical Sciences · pp. 139–149 · 2003
@article{nikolenko2003_684,
author = {Nikolenko, Sergey I.},
title = {{Hard satisfiable instances for DPLL-type algorithms}},
year = {2003},
journal = {Journal of Mathematical Sciences},
pages = {139--149},
doi = {10.1007/s10958-005-0105-3},
url = {https://doi.org/10.1007/s10958-005-0105-3}
}