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

Craig E. Larson Nico Van Cleemput

Published in: IJCAI (2017)

Keyphrases

extended abstract
semi automated
optimal solution
search algorithm
semi automatic
image sequences
simulated annealing
tabu search
search strategies
context sensitive
neural network
artificial intelligence
constraint satisfaction