Constraint Propagation in Software Libraries of Transformation Systems.
Martin David KatzDennis J. VolperPublished in: Int. J. Softw. Eng. Knowl. Eng. (1992)
Keyphrases
- constraint propagation
- constraint reasoning
- genetic algorithm
- constraint satisfaction problems
- databases
- temporal constraints
- search space
- finite domain
- constraint solving
- constraint satisfaction
- arc consistency
- bug localization
- truth maintenance systems
- constraint programming
- temporal information
- object oriented
- dynamic programming
- evolutionary algorithm
- reinforcement learning
- image sequences