Recommendations
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
- Theory and Applications of Satisfiability Testing
- Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
- Computer Aided Verification
- Theory and Applications of Satisfiability Testing
Cites work
Cited in
(5)- Careful ranking of multiple solvers with timeouts and ties
- Decision procedures for flat array properties
- Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
This page was built for publication: The 2013 evaluation of SMT-COMP and SMT-LIB
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q286784)