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