Login / Signup
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.
Shuvendu K. Lahiri
Madanlal Musuvathi
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
decision making
decision makers
mixed integer program
computationally efficient
decision rules
convex functions
database
rough sets
constraint satisfaction
influence diagrams
linear constraints