SMT-COMP Papers

• The 2012 SMT Competition. David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters. To appear.
• 6 Years of SMT-COMP. Clark Barrett, Morgan Deters, Leonardo de Moura, Albert Oliveras, and Aaron Stump.

@article{Barrettetal2012JAR,
  author = {Clark Barrett and
               Morgan Deters and
               Leonardo de Moura and
               Albert Oliveras and
               Aaron Stump},
  year = {2012},
  title = { {6 Years of SMT-COMP} },
   journal = {{Journal of Automated Reasoning}},
   publisher = {Springer Netherlands},
   issn = {0168-7433},
   keyword = {Computer Science},
   pages = {1-35},
   url = {http://dx.doi.org/10.1007/s10817-012-9246-5},
   note = {10.1007/s10817-012-9246-5}
}

• Design and Results of the 4th Annual Satisfiability Modulo Theories Competition (SMT-COMP 2008). Clark Barrett, Morgan Deters, Albert Oliveras, and Aaron Stump. To appear.
• Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2007). Clark Barrett, Morgan Deters, Albert Oliveras, and Aaron Stump.

  @article{BDOS08,
      author  = "Clark Barrett and Morgan Deters and Albert Oliveras and Aaron Stump",
      title   = "Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition ({SMT-COMP} 2007)",
      journal = "International Journal on Artificial Intelligence Tools",
      volume  = {17},
      number  = {4},
      year    = {2008},
      pages   = {569--606},
  }
  

• Design and Results of the 2nd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2006). Clark Barrett, Leonardo de Moura, and Aaron Stump.

  @article{BdMS07,
    author    = "Clark Barrett and Leonardo de Moura and Aaron Stump",
    title     = "Design and Results of the 2nd Annual Satisfiability Modulo Theories Competition ({SMT-COMP} 2006)",
    journal   = "Formal Methods in System Design",
    publisher = "Springer Netherlands",
    year      = 2007
  }
  

• Design and Results of the 1st Satisfiability Modulo Theories Competition (SMT-COMP 2005). Clark Barrett, Leonardo de Moura, and Aaron Stump.

  @article{BdMS05,
      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{BdMS05short,
      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: Tue 17 Feb 2015 14:57 UTC