Home	•	Intro	•	Rules	•	Tools	•	Bench	•	Participants	•	Results	•	Org	•	SMT-LIB

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

Home	•	Intro	•	Rules	•	Tools	•	Bench	•	Participants	•	Results	•	Org	•	SMT-LIB

Last modified: Fri 15 Jul 2005 09:36 PDT