Skip to content
conftrace_
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.

🐣 Hot Topic Early Bird - heuristic search

Authors

Craig E. Larson, Nico Van Cleemput

Topics

Mathematics & Optimization > Mathematics > Discrete Mathematics

Keywords

graph theory heuristic search automated reasoning heuristic algorithm mathematical conjecture conjecture generation automated conjecturing mathematical discovery
Download PDF

More from IJCAI 2017

All IJCAI 2017 papers →
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)
Computer Models Solving Intelligence Test Problems: Progress and Implications (Extended Abstract)
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)
On Redundant Topological Constraints (Extended Abstract)
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)