A New Clause Learning Scheme for Efficient Unsatisfiability Proofs

Pipatsrisawat and Darwiche. "A New Clause Learning Scheme for Efficient Unsatisfiability Proofs." AAAI Conference on Artificial Intelligence, 2008.

[Pipatsrisawat and Darwiche. "A New Clause Learning Scheme for Efficient Unsatisfiability Proofs." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/pipatsrisawat2008aaai-new-a/)

@inproceedings{pipatsrisawat2008aaai-new-a,
  title     = {{A New Clause Learning Scheme for Efficient Unsatisfiability Proofs}},
  author    = {Pipatsrisawat, Knot and Darwiche, Adnan},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {1481-1484},
  url       = {https://mlanthology.org/aaai/2008/pipatsrisawat2008aaai-new-a/}
}