ML Anthology

Refutation by Randomised General Resolution

Steven D. Prestwich, Inês Lynce
AAAI 2007 pp. 1667-1670
/aaai/2007/prestwich2007aaai-refutation/
PDF AAAI Semantic Scholar

Cite

Text

Prestwich and Lynce. "Refutation by Randomised General Resolution." AAAI Conference on Artificial Intelligence, 2007.

Markdown

[Prestwich and Lynce. "Refutation by Randomised General Resolution." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/prestwich2007aaai-refutation/)

BibTeX

@inproceedings{prestwich2007aaai-refutation,
  title     = {{Refutation by Randomised General Resolution}},
  author    = {Prestwich, Steven D. and Lynce, Inês},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {1667-1670},
  url       = {https://mlanthology.org/aaai/2007/prestwich2007aaai-refutation/}
}