Nico Van Cleemput

Department of Applied Mathematics, Computer Science and Statistics , Ghent University , Ghent , Belgium

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