SMT-COMP Papers

• Design and Results of the 3rd Satisfiability Modulo Theories Competition (SMT-COMP 2007). Clark Barrett, Morgan Deters, Albert Oliveras, and Aaron Stump. To appear.
• Design and Results of the 2nd Satisfiability Modulo Theories Competition (SMT-COMP 2006). Clark Barrett, Leonardo de Moura, and Aaron Stump. To appear in Formal Methods in System Design (accepted June, 2007).
• Design and Results of the 1st Satisfiability Modulo Theories Competition (SMT-COMP 2005). Clark Barrett, Leonardo de Moura, and Aaron Stump.

  @article{barrett+05,
        author= "C. Barrett and L. de Moura and A. Stump",
        title={{Design and Results of the 1st Satisfiability Modulo Theories Competition (SMT-COMP 2005)}},
        journal="Journal of Automated Reasoning",
        pages={373--390},
        publisher="Springer",
        volume=35,
        number=4,
        year="2005"}
  

• SMT-COMP: Satisfiability Modulo Theories Competition. Clark Barrett, Leonardo de Moura, and Aaron Stump. [Slides]

  @inproceedings{barrett+05,
        author= "C. Barrett and L. de Moura and A. Stump",
        title={{SMT-COMP: Satisfiability Modulo Theories Competition}},
        booktitle="17th International Conference on Computer Aided Verification",
        editor="K. Etessami and S. Rajamani",
        pages={20--23},
        publisher="Springer",
        year="2005"}
  

Last modified: Fri 22 Feb 2008 09:42 CST