ML Anthology

Clause Learning Can Effectively P-Simulate General Propositional Resolution

Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder
AAAI 2008 pp. 283-290
/aaai/2008/hertel2008aaai-clause/
PDF AAAI Semantic Scholar

Cite

Text

Hertel et al. "Clause Learning Can Effectively P-Simulate General Propositional Resolution." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Hertel et al. "Clause Learning Can Effectively P-Simulate General Propositional Resolution." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/hertel2008aaai-clause/)

BibTeX

@inproceedings{hertel2008aaai-clause,
  title     = {{Clause Learning Can Effectively P-Simulate General Propositional Resolution}},
  author    = {Hertel, Philipp and Bacchus, Fahiem and Pitassi, Toniann and Van Gelder, Allen},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {283-290},
  url       = {https://mlanthology.org/aaai/2008/hertel2008aaai-clause/}
}