Miguel, Ian: Dynamic Flexible Constraint Satisfaction and its Application to AI Planning