Login / Signup
Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005).
Clark W. Barrett
Leonardo Mendonça de Moura
Aaron Stump
Published in:
J. Autom. Reason. (2005)
Keyphrases
</>
expert systems
modulo theories