Publications

84 results for Michael Katz

Integrating partial order reduction and symmetry elimination for cost-optimal classical planning
- - Martin Wehrle
  - Malte Helmert
  - et al.
- 2015
- IJCAI 2015
Factored symmetries for merge-and-shrink abstractions
- - Silvan Sievers
  - Martin Wehrle
  - et al.
- 2015
- AAAI/IAAI 2015
Heuristics and symmetries in classical planning
- - Alexander Shleyfman
  - Michael Katz
  - et al.
- 2015
- AAAI/IAAI 2015
Red-black planning: A new systematic approach to partial delete relaxation
- - Carmel Domshlak
  - Jörg Hoffmann
  - et al.
- 2015
- Artificial Intelligence