Craig E. Larson

Department of Mathematics and Applied Mathematics , Virginia Commonwealth University , Richmond , VA USA

1 paper in the IJCAI proceedings

IJCAI 2017

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

with Nico Van Cleemput

doi:10.24963/ijcai.2017/713

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings