Login / Signup
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions.
Alessandro Cimatti
Alberto Griggio
Ahmed Irfan
Marco Roveri
Roberto Sebastiani
Published in:
ACM Trans. Comput. Log. (2018)
Keyphrases
</>
np complete
nonlinear functions
arithmetic operations
bayesian networks
computational complexity
incremental learning
satisfiability problem
mixed integer
data sets
face recognition
search space
model checking
propositional logic
formal methods
incremental clustering