A Complete Solver for Constraint Games.

Thi-Van-Anh Nguyen Arnaud Lallouet

Published in: CP (2014)

Keyphrases

constraint solving
constraint solver
video games
hard constraints
constraint solvers
multi agent
lower bound
computer games
constraint propagation
global constraints
linear constraints
soft constraints
tree search
game development
quantified boolean formulas