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

Open in new window