A Conflict-Driven Interface between Symbolic Planning and Nonlinear Constraint SolvingJoaquim Ortiz-HaroErez Karpaset al.2022IEEE Robotics and Automation Letters
Conflict-Directed Diverse Planning for Logic-Geometric ProgrammingJoaquim Ortiz-HaroErez Karpaset al.2022ICAPS 2022