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

Craig E. Larson, Nico Van Cleemput

Browse the full IJCAI paper archive.