Login / Signup
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