Strong Conflict Analysis for Propositional Satisfiability

@article{Jin2006StrongCA,
  title={Strong Conflict Analysis for Propositional Satisfiability},
  author={HoonSang Jin and Fabio Somenzi},
  journal={Proceedings of the Design Automation & Test in Europe Conference},
  year={2006},
  volume={1},
  pages={1-6}
}
We present a new approach to conflict analysis for propositional satisfiability solvers based on the DPLL procedure and clause recording. When conditions warrant it, we generate a supplemental clause from a conflict. This clause does not contain a unique implication point, and therefore cannot replace the standard conflict clause. However, it is very effective at reducing excessive depth in the implication graphs and at preventing repeated conflicts on the same clause. Experimental results show… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS