ML Anthology

Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)

Craig E. Larson, Nico Van Cleemput
IJCAI 2017 pp. 5015-5019
doi:10.24963/IJCAI.2017/713 /ijcai/2017/larson2017ijcai-automated/

Abstract

This condensed summary highlights the results of a 2016 AIJ paper reporting on a successful general-purpose conjecturing program.

PDF IJCAI Semantic Scholar

Cite

Text

Larson and Van Cleemput. "Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/713

Markdown

[Larson and Van Cleemput. "Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/larson2017ijcai-automated/) doi:10.24963/IJCAI.2017/713

BibTeX

@inproceedings{larson2017ijcai-automated,
  title     = {{Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)}},
  author    = {Larson, Craig E. and Van Cleemput, Nico},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {5015-5019},
  doi       = {10.24963/IJCAI.2017/713},
  url       = {https://mlanthology.org/ijcai/2017/larson2017ijcai-automated/}
}