A Conflict-Driven Interface between Symbolic Planning and Nonlinear Constraint Solving
- Joaquim Ortiz-Haro
- Erez Karpas
- et al.
- 2022
- IEEE Robotics and Automation Letters
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
73 results for Michael Katz
IBM Scenario Planning Advisor: Plan recognition as AI planning in practice
- 2019
- AI Communications
Red-black planning: A new systematic approach to partial delete relaxation
- Carmel Domshlak
- Jörg Hoffmann
- et al.
- 2015
- Artificial Intelligence