Login / Signup
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006).
Clark W. Barrett
Leonardo Mendonça de Moura
Aaron Stump
Published in:
Formal Methods Syst. Des. (2007)
Keyphrases
</>
modulo theories
expert systems
state space
objective function