A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)
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