Vitalsource Technologies, Inc. Dynamic Flexible Constraint Satisfaction And Its Application To Ai Plan