Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited.
Craig E. LarsonNicolas Van CleemputPublished in: Artif. Intell. (2016)
Keyphrases
- semi automated
- computer aided
- dynamic programming
- database
- real world
- search effort
- heuristic solution
- fully automated
- solution quality
- combinatorial optimization
- constraint satisfaction
- expert systems
- search algorithm
- machine learning
- simulated annealing
- semi automatic
- data structure
- feasible solution
- optimal solution
- multi agent
- decision trees
- mixed integer programming
- search engine