Fahiem Bacchus. Enhancing Davis Putnam with Extended Binary Clause Reasoning. In AAAI/IAAI. pages 613-619, 2002.
@inproceedings{Bacchus02,
title = {Enhancing Davis Putnam with Extended Binary Clause Reasoning},
author = {Fahiem Bacchus},
year = {2002},
researchr = {https://researchr.org/publication/Bacchus02},
cites = {0},
citedby = {0},
pages = {613-619},
booktitle = {AAAI/IAAI},
}