Sergey Nikolenko
← All publications

Hard satisfiable instances for DPLL-type algorithms

Journal article

Hard satisfiable instances for DPLL-type algorithms

S.I. Nikolenko

Journal of Mathematical Sciences · pp. 139–149 · 2003

DOISpringerPermalink
BibTeX
@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}
}