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

Joaquim Ortiz-Haro

Contact: quimortiz21 (at) gmail (dot) com

Erez Karpas

Michael Katz

Marc Toussaint