Toward a Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms.
Alex QuiliciSteven WoodsPublished in: WPC (1996)
Keyphrases
- constraint satisfaction
- russian doll search
- constraint satisfaction problems
- constraint propagation
- optimization problems
- program understanding
- constraint solving
- constrained problems
- soft constraints
- learning algorithm
- heuristic search
- constraint optimization
- forward checking
- programming language
- arc consistency
- lower bound
- max csp
- constraint relaxation
- reverse engineering
- constraint problems
- path consistency
- sat solvers
- constraint programming
- object oriented
- fuzzy logic
- computational complexity
- case study