On-Demand Mutex Constraints for Numeric Planning as SMT
Published in The 36th International Conference on Automated Planning and Scheduling, 2026
Using MathJax in the description is supported - \(E=mc^2\) - however, the use must be mindful that the default delimiters are $$...$$ and \\[...\\] which differs from the $...$ that is typically expected.
Recommended citation: Abdelwahed, M. F., Bofill, M., Espasa, J., \& Villaret, M. (2026). On-Demand Mutex Constraints for Numeric Planning as SMT. ICAPS 2026.