On Solving Boolean Combinations of UTVPI Constraints.
Sanjit A. SeshiaK. SubramaniRandal E. BryantPublished in: J. Satisf. Boolean Model. Comput. (2007)
Keyphrases
- constrained problems
- database
- real time
- linear programming problems
- constraint satisfaction
- constraint problems
- linear constraints
- nonlinear programming
- integer program
- linear programming
- databases
- quadratic programming
- resource constraints
- constraint programming
- combinatorial optimization
- mixed integer program
- artificial intelligence
- finite domain
- pseudo boolean
- solving constraint satisfaction problems