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