Integer Programs for Logic Constraint Satisfaction.
Angelo MonfroglioPublished in: Theor. Comput. Sci. (1992)
Keyphrases
- constraint satisfaction
- integer program
- column generation
- constraint programming
- integer programming
- constraint satisfaction problems
- multistage stochastic
- linear program
- soft constraints
- heuristic search
- cutting plane
- constraint relaxation
- robust fault detection
- constraint solving
- constraint propagation
- russian doll search
- phase transition
- arc consistency
- probabilistic reasoning
- sat solvers
- valid inequalities
- logic programming
- optimal solution
- network flow
- lower bound
- portfolio selection
- search algorithm
- max csp
- special case
- constraint optimization
- stochastic programming
- cost function
- constraint networks