Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban.
André Grahl PereiraRobert HolteJonathan SchaefferLuciana S. BuriolMarcus RittPublished in: IJCAI (2016)
Keyphrases
- tie breaking
- satisfiability testing
- combinatorial optimization
- greedy algorithm
- finding an optimal solution
- simulated annealing
- optimal solution
- dynamic programming
- branch and bound search
- stochastic local search
- mixed integer program
- iterated greedy
- artificial intelligence
- search heuristics
- propositional logic
- search strategies
- optimal policy
- cooperative