C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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