“Combining SAT Methods with Non-Clausal Decision Heuristics” by Clark Barrett and Jacob Donham. In Selected Papers from the Workshops on Disproving and the Second International Workshop on Pragmatics of Decision Procedures (PDPAR '04), (Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, and Cesare Tinelli, eds.), July 2005, pp. 3-12. Cork, Ireland.
BibTeX entry:
@inproceedings{BD05,
author = {Clark Barrett and Jacob Donham},
editor = {Wolfgang Ahrendt and Peter Baumgartner and Hans de Nivelle
and Silvio Ranise and Cesare Tinelli},
title = {Combining {SAT} Methods with Non-Clausal Decision Heuristics},
booktitle = {Selected Papers from the Workshops on Disproving and the
Second International Workshop on Pragmatics of Decision Procedures
(PDPAR '04)},
series = {Electronic Notes in Theoretical Computer Science},
volume = {125(3)},
pages = {3--12},
publisher = {Elsevier},
month = jul,
year = {2005},
note = {Cork, Ireland},
url = {http://theory.stanford.edu/~barrett/pubs/BD05.pdf}
}
(This webpage was created with bibtex2web.)