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

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

Craig E. Larson, Nico Van Cleemput

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Journal track. Pages 5015-5019. https://doi.org/10.24963/ijcai.2017/713

This condensed summary highlights the results of a 2016 AIJ paper reporting on a successful general-purpose conjecturing program.
Keywords:
Knowledge Representation, Reasoning, and Logic: Automated Reasoning and Theorem Proving
Multidisciplinary Topics and Applications: AI and Natural Sciences