2017
IJCAI
IJCAI 2017
Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)
Abstract
This condensed summary highlights the results of a 2016 AIJ paper reporting on a successful general-purpose conjecturing program.
🧭
Keyword Pioneer
— mathematical conjecture
🐣
Hot Topic Early Bird
— graph theory
🐝
Cross-Pollinator
— Artificial Intelligence, Computer Science, Computer Vision, Data Science & Analytics, Deep Learning, Healthcare & Medicine, Interdisciplinary, Knowledge & Reasoning, Machine Learning, Mathematics & Optimization, Natural Language Processing, Reinforcement Learning, Robotics, Security & Privacy, Speech & Audio