A Conflict-driven Interface between Symbolic Planning and Nonlinear Constraint Solving.

Joaquim Ortiz de Haro Erez Karpas Michael Katz Marc Toussaint

Published in: CoRR (2022)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
finite domain
constraint solver
user interface
ai planning
heuristic search
conflict resolution
neural network
planning problems
mixed initiative
search space
constraint programming