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

Craig E. Larson, Nico Van Cleemput
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
This condensed summary highlights the results of a 2016 AIJ paper reporting on a successful general-purpose conjecturing program.
doi:10.24963/ijcai.2017/713 dblp:conf/ijcai/LarsonC17 fatcat:iljdbdn3zjdrflobqdbzykocl4