A New Clause Learning Scheme for Efficient Unsatisfiability Proofs.

Knot Pipatsrisawat Adnan Darwiche A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. 1481-1484 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#PipatsrisawatD08a