An Efficient Decision Procedure for UTVPI Constraints.
Shuvendu K. LahiriMadanlal MusuvathiPublished in: FroCoS (2005)
Keyphrases
- constrained optimization
- information systems
- decision making
- linear constraints
- constraint satisfaction
- artificial intelligence
- mixed integer program
- decision makers
- computationally efficient
- mixed integer
- constraint programming
- multiple constraints
- database
- resource constraints
- geometric constraints
- decision problems
- decision rules
- artificial neural networks
- machine learning