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]

@article{HaroKKT22,
  title = {A Conflict-Driven Interface Between Symbolic Planning and Nonlinear Constraint Solving},
  author = {Joaquim Ortiz de Haro and Erez Karpas and Michael Katz 0001 and Marc Toussaint},
  year = {2022},
  doi = {10.1109/LRA.2022.3191948},
  url = {https://doi.org/10.1109/LRA.2022.3191948},
  researchr = {https://researchr.org/publication/HaroKKT22},
  cites = {0},
  citedby = {0},
  journal = {IEEE Robotics and Automation Letters},
  volume = {7},
  number = {4},
  pages = {10518-10525},
}