@inproceedings{pipatsrisawat08clause,
author = {Knot Pipatsrisawat and Adnan Darwiche},
title = {A New Clause Learning Scheme for Efficient Unsatisfiability Proofs},
booktitle = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI)},
year = {2008},
pages = {1481--1484}
}