HoonSang Jin, Fabio Somenzi. Strong conflict analysis for propositional satisfiability. In Georges G. E. Gielen, editor, Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. pages 818-823, European Design and Automation Association, Leuven, Belgium, 2006. [doi]
Abstract is missing.