Toward A Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms.
Alex QuiliciSteven WoodsPublished in: Autom. Softw. Eng. (1997)
Keyphrases
- constraint satisfaction
- russian doll search
- constraint satisfaction problems
- constraint propagation
- learning algorithm
- program understanding
- constraint optimization
- heuristic search
- neural network
- constraint relaxation
- forward checking
- constraint problems
- constraint programming
- arc consistency
- computational complexity
- optimization problems
- np complete
- expert systems
- lower bound