Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction.
Thomas EllmanPublished in: SARA (2000)
Keyphrases
- constraint satisfaction
- program synthesis
- russian doll search
- constraint satisfaction problems
- heuristic search
- phase transition
- optimization problems
- constraint propagation
- constraint relaxation
- soft constraints
- constraint networks
- combinatorial problems
- arc consistency
- max csp
- product configuration
- information retrieval
- constraint solving
- relaxation labeling
- robust fault detection
- mathematical programming
- sat solvers
- constrained problems
- backtracking algorithms
- neural network
- temporal constraints
- inductive logic programming
- combinatorial optimization
- optimization method
- background knowledge
- special case
- recursive programs
- search algorithm
- optimal solution