ML Anthology

An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract)

Maria Luisa Bonet, Sam Buss
IJCAI 2013 pp. 2972-2976
/ijcai/2013/bonet2013ijcai-improved/
IJCAI Semantic Scholar

Cite

Text

Bonet and Buss. "An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Bonet and Buss. "An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/bonet2013ijcai-improved/)

BibTeX

@inproceedings{bonet2013ijcai-improved,
  title     = {{An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract)}},
  author    = {Bonet, Maria Luisa and Buss, Sam},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {2972-2976},
  url       = {https://mlanthology.org/ijcai/2013/bonet2013ijcai-improved/}
}