Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving.
Marko MalikovicPredrag JanicicPublished in: J. Int. Comput. Games Assoc. (2013)
Keyphrases
- constraint solving
- constraint solver
- constraint logic programming
- constraint propagation
- evaluation function
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- sat solvers
- answer set programming
- combinatorial problems
- two player games
- objective function
- linear constraints
- imperfect information