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