Here's why I think this polynomial time SAT solver concept is correct

2026-10-18来源 dev.toEnglish

Algorithm concept

I've been working on a polynomial-time SAT solver concept for over a year. Here are the reasons why I think this concept is correct:

  1. Doesn't use the resolution rule (which is proven to be exponential).
  2. Directly solves the forgetting problem of DPLL.
  3. Uses Conflict Tree to prevent re-exploring conflicting branches.

原文：https://www.a8q9.cn/en/article/here-s-why-i-think-this-polynomial-time-sat-solver-concept-is-correct-07ea2c.html

相关文章