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