Hard satisfiable formulas for DPLL-type algorithms
计算复杂性
2007-05-23 v1
摘要
We address lower bounds on the time complexity of algorithms solving the propositional satisfiability problem. Namely, we consider two DPLL-type algorithms, enhanced with the unit clause and pure literal heuristics. Exponential lower bounds for solving satisfiability on provably satisfiable formulas are proven.
引用
@article{arxiv.cs/0301012,
title = {Hard satisfiable formulas for DPLL-type algorithms},
author = {Sergey I. Nikolenko},
journal= {arXiv preprint arXiv:cs/0301012},
year = {2007}
}
备注
9 pages