ML Anthology

Improved Bounds on the Complexity of kB-Consistency

Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
IJCAI 2001 pp. 303-308
/ijcai/2001/bordeaux2001ijcai-improved/
Semantic Scholar

Cite

Text

Bordeaux et al. "Improved Bounds on the Complexity of kB-Consistency." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[Bordeaux et al. "Improved Bounds on the Complexity of kB-Consistency." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/bordeaux2001ijcai-improved/)

BibTeX

@inproceedings{bordeaux2001ijcai-improved,
  title     = {{Improved Bounds on the Complexity of kB-Consistency}},
  author    = {Bordeaux, Lucas and Monfroy, Éric and Benhamou, Frédéric},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {303-308},
  url       = {https://mlanthology.org/ijcai/2001/bordeaux2001ijcai-improved/}
}