ML Anthology

High Performance ATP Systems by Combining Several AI Methods

Jörg Denzinger, Marc Fuchs, Matthias Fuchs
IJCAI 1997 pp. 102-107
/ijcai/1997/denzinger1997ijcai-high/
PDF IJCAI Semantic Scholar

Cite

Text

Denzinger et al. "High Performance ATP Systems by Combining Several AI Methods." International Joint Conference on Artificial Intelligence, 1997.

Markdown

[Denzinger et al. "High Performance ATP Systems by Combining Several AI Methods." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/denzinger1997ijcai-high/)

BibTeX

@inproceedings{denzinger1997ijcai-high,
  title     = {{High Performance ATP Systems by Combining Several AI Methods}},
  author    = {Denzinger, Jörg and Fuchs, Marc and Fuchs, Matthias},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {102-107},
  url       = {https://mlanthology.org/ijcai/1997/denzinger1997ijcai-high/}
}