Association for the Advancement of Artificial Intelligence
Symposium on Combinatorial Search
Model checking
Automated planning and scheduling