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

Joaquim Ortiz-Haro, Erez Karpas, Michael Katz +1

Robotic planning in real-world scenarios typically requires joint optimization of logic and continuous variables. A core challenge to combine the strengths of logic planners and co…