Busy Beaver Machines and the Observant Otter Heuristic (or How to Tame Dreadful Dragons).
James HarlandPublished in: CoRR (2016)
Keyphrases
- optimal solution
- theorem prover
- tabu search
- search algorithm
- simulated annealing
- constraint satisfaction
- search strategies
- combinatorial optimization
- heuristic solution
- parallel machine scheduling problem
- real time
- optimal or near optimal
- greedy heuristic
- heuristic function
- beam search
- exact algorithms
- hill climbing
- information retrieval
- data sets