A Conflict-Driven Interface Between Symbolic Planning and Nonlinear Constraint Solving

Joaquim Ortiz de Haro, Erez Karpas, Michael Katz 0001, Marc Toussaint. A Conflict-Driven Interface Between Symbolic Planning and Nonlinear Constraint Solving. IEEE Robotics and Automation Letters, 7(4):10518-10525, 2022. [doi]

Abstract

Abstract is missing.