Co-occurring keywords · papers mentioning both
Papers
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract)
IJCAI 2024
Efficient Encoding of Cost Optimal Delete-Free Planning as SAT
AAAI 2022
Top-Quality Planning: Finding Practically Useful Sets of Best Plans
AAAI 2020
Operator Mutexes and Symmetries for Simplifying Planning Tasks
AAAI 2019