1 research outputs found
An Improved Upper Bound for SAT
We show that the CNF satisfiability problem can be solved
time, where is the number of clauses in the formula, improving the known
upper bounds given by Yamamoto 15 years ago and
given by Hirsch 22 years ago. By using an amortized technique and careful case
analysis, we successfully avoid the bottlenecks in previous algorithms and get
the improvement