C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT().
Malay K. Ganai
Published in:
Haifa Verification Conference (2008)
Keyphrases
</>
decision making
database
integer arithmetic
data sets
computationally expensive
databases
neural network
machine learning
database systems
bayesian networks
natural language
decision model
statistical machine translation