Constraint-Based Case-Based Planning Using Weighted MAX-SAT.

Hankui Zhuo Qiang Yang Lei Li

Published in: ICCBR (2009)

Keyphrases

case based planning
weighted max sat
max sat
real time strategy games
constraint satisfaction
additional knowledge
case base
sat solvers
search algorithm
multi agent
lower bound
branch and bound
satisfiability problem
boolean satisfiability