Nico Van Cleemput

1 paper in the IJCAI proceedings

IJCAI 2017

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

with Craig E. Larson

doi:10.24963/ijcai.2017/713

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings