A New Clause Learning Scheme for Efficient Unsatisfiability Proofs.

Knot Pipatsrisawat, Adnan Darwiche

Browse the full AAAI paper archive.