SMT-COMP Papers

• SMT-COMP: Satisfiability Modulo Theories Competition

  Clark Barrett, Leonardo de Moura, and Aaron Stump

  Presented at CAV 05, Edinburgh, Scotland, UK, 2005.

  paper, slides

  BibTeX Entry

  @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"}
  

• Design and Results of the 1st Satisfiability Modulo Theories Competition (SMT-COMP 2005)

  Clark Barrett, Leonardo de Moura, and Aaron Stump

  To be published in the Journal of Automated Reasoning (JAR).

  paper

Last modified: Mon 28 Nov 2005 09:47 PST