ML Anthology

Implementing a Generalized Version of Resolution

Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
AAAI 2004 pp. 55-60
/aaai/2004/dixon2004aaai-implementing/
PDF AAAI Semantic Scholar

Cite

Text

Dixon et al. "Implementing a Generalized Version of Resolution." AAAI Conference on Artificial Intelligence, 2004.

Markdown

[Dixon et al. "Implementing a Generalized Version of Resolution." AAAI Conference on Artificial Intelligence, 2004.](https://mlanthology.org/aaai/2004/dixon2004aaai-implementing/)

BibTeX

@inproceedings{dixon2004aaai-implementing,
  title     = {{Implementing a Generalized Version of Resolution}},
  author    = {Dixon, Heidi E. and Ginsberg, Matthew L. and Hofer, David K. and Luks, Eugene M. and Parkes, Andrew J.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2004},
  pages     = {55-60},
  url       = {https://mlanthology.org/aaai/2004/dixon2004aaai-implementing/}
}