Posts by Collection

portfolio

publications

On-Demand Mutex Constraints for Numeric Planning as SMT

Published in The 36th International Conference on Automated Planning and Scheduling, 2026

Recommended citation: Abdelwahed, M. F., Bofill, M., Espasa, J., \& Villaret, M. (2026). On-Demand Mutex Constraints for Numeric Planning as SMT. ICAPS 2026.

talks

teaching