Sign in
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.
Roberto Bruttomesso
Alessandro Cimatti
Anders Franzén
Alberto Griggio
Ziyad Hanna
Alexander Nadel
Amit Palti
Roberto Sebastiani
Published in:
CAV (2007)
Keyphrases
</>
problems involving
artificial intelligence
genetic algorithm
decision problems
industrial applications
data sets
neural network
learning algorithm
constraint propagation
solving problems
hard problems
computationally hard