Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)

DOI10.1007/S10817-006-9026-1MaRDI QIDQ861691zbMATH OpenOpenAlexFDO

Authors Clark Barrett, Leonardo de Moura, Aaron Stump

Publication date 30 January 2007

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-006-9026-1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
• Computer Aided Verification
• Theory and Applications of Satisfiability Testing
• Satisfiability modulo theories
• The 2013 evaluation of SMT-COMP and SMT-LIB

Cites work

• scientific article; zbMATH DE number 1614688 (Why is no real title available?)
• scientific article; zbMATH DE number 1809860 (Why is no real title available?)
• scientific article; zbMATH DE number 1979541 (Why is no real title available?)
• scientific article; zbMATH DE number 2081115 (Why is no real title available?)
• scientific article; zbMATH DE number 1798183 (Why is no real title available?)
• scientific article; zbMATH DE number 1798189 (Why is no real title available?)
• scientific article; zbMATH DE number 1903356 (Why is no real title available?)
• scientific article; zbMATH DE number 1903374 (Why is no real title available?)
• scientific article; zbMATH DE number 2090127 (Why is no real title available?)
• A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems
• A rewriting approach to satisfiability procedures.
• Bounded model checking using satisfiability solving
• Computer Aided Verification
• Computer Aided Verification
• Computer Aided Verification
• Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
• Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
• Solvable cases of the decision problem
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(9)

• Controlling a solver execution with the runsolver Tool
• The 2013 evaluation of SMT-COMP and SMT-LIB
• Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
• Theory and Applications of Satisfiability Testing
• A framework for satisfiability modulo theories
• Promoting robust black-box solvers through competitions
• Satisfiability modulo theories
• Computer Aided Verification
• SAT competition 2020

Describes a project that uses

Uses Software

• ICS
• Velev SAT Benchmarks
• CVC
• MathSAT
• CVC Lite
• ESC/Java
• SATO
• SMT-LIB
• MiniSat

This page was built for publication: Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861691)