Solving functional constraints by variable substitution.
Yuanlin ZhangRoland H. C. YapPublished in: Theory Pract. Log. Program. (2011)
Keyphrases
- finite domain
- constrained problems
- linear programming problems
- constraint programming
- constraint satisfaction
- reducing the search space
- constraint propagation
- mixed integer program
- image sequences
- relational databases
- constraint solving
- constraint problems
- solving constraint satisfaction problems
- neural network
- constraint solver
- decision variables
- linear constraints
- human brain
- linear program