Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System.
Sanjay BhansaliTim J. HoarPublished in: KBSE (1995)
Keyphrases
- constraint satisfaction
- program synthesis
- constraint satisfaction problems
- heuristic search
- constraint programming
- recursive programs
- phase transition
- constraint propagation
- constraint relaxation
- constraint networks
- expert systems
- relaxation labeling
- arc consistency
- constraint solving
- soft constraints
- inductive logic programming
- machine learning
- robust fault detection
- combinatorial problems
- special case
- information retrieval
- constraint problems
- relational learning
- forward checking
- backtracking algorithms