ML Anthology

On the Complexity of Extending Ground Resolution with Symmetry Rules

Thierry Boy de la Tour, Stéphane Demri
IJCAI 1995 pp. 289-297
/ijcai/1995/delatour1995ijcai-complexity/

Abstract

International audience

PDF Semantic Scholar

Cite

Text

de la Tour and Demri. "On the Complexity of Extending Ground Resolution with Symmetry Rules." International Joint Conference on Artificial Intelligence, 1995.

Markdown

[de la Tour and Demri. "On the Complexity of Extending Ground Resolution with Symmetry Rules." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/delatour1995ijcai-complexity/)

BibTeX

@inproceedings{delatour1995ijcai-complexity,
  title     = {{On the Complexity of Extending Ground Resolution with Symmetry Rules}},
  author    = {de la Tour, Thierry Boy and Demri, Stéphane},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1995},
  pages     = {289-297},
  url       = {https://mlanthology.org/ijcai/1995/delatour1995ijcai-complexity/}
}