SMT-COMP: Satisfiability modulo theories competition

Clark Barrett, Leonardo De Moura, Aaron Stump

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science
EditorsK. Etessami, S.K. Rajamani
Pages20-23
Number of pages4
Volume3576
StatePublished - 2005
Event17th International Conference on Computer Aided Verification, CAV 2005 - Edinburgh, Scotland, United Kingdom
Duration: Jul 6 2005Jul 10 2005

Other

Other17th International Conference on Computer Aided Verification, CAV 2005
CountryUnited Kingdom
CityEdinburgh, Scotland
Period7/6/057/10/05

Fingerprint

Surface mount technology
Modulo

ASJC Scopus subject areas

  • Computer Science (miscellaneous)

Cite this

Barrett, C., De Moura, L., & Stump, A. (2005). SMT-COMP: Satisfiability modulo theories competition. In K. Etessami, & S. K. Rajamani (Eds.), Lecture Notes in Computer Science (Vol. 3576, pp. 20-23)

SMT-COMP : Satisfiability modulo theories competition. / Barrett, Clark; De Moura, Leonardo; Stump, Aaron.

Lecture Notes in Computer Science. ed. / K. Etessami; S.K. Rajamani. Vol. 3576 2005. p. 20-23.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Barrett, C, De Moura, L & Stump, A 2005, SMT-COMP: Satisfiability modulo theories competition. in K Etessami & SK Rajamani (eds), Lecture Notes in Computer Science. vol. 3576, pp. 20-23, 17th International Conference on Computer Aided Verification, CAV 2005, Edinburgh, Scotland, United Kingdom, 7/6/05.
Barrett C, De Moura L, Stump A. SMT-COMP: Satisfiability modulo theories competition. In Etessami K, Rajamani SK, editors, Lecture Notes in Computer Science. Vol. 3576. 2005. p. 20-23
Barrett, Clark ; De Moura, Leonardo ; Stump, Aaron. / SMT-COMP : Satisfiability modulo theories competition. Lecture Notes in Computer Science. editor / K. Etessami ; S.K. Rajamani. Vol. 3576 2005. pp. 20-23
@inproceedings{c2fde1dc49ce4aedaa4d1e9cb32b0e9e,
title = "SMT-COMP: Satisfiability modulo theories competition",
author = "Clark Barrett and {De Moura}, Leonardo and Aaron Stump",
year = "2005",
language = "English (US)",
volume = "3576",
pages = "20--23",
editor = "K. Etessami and S.K. Rajamani",
booktitle = "Lecture Notes in Computer Science",

}

TY - GEN

T1 - SMT-COMP

T2 - Satisfiability modulo theories competition

AU - Barrett, Clark

AU - De Moura, Leonardo

AU - Stump, Aaron

PY - 2005

Y1 - 2005

UR - http://www.scopus.com/inward/record.url?scp=26444489953&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=26444489953&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:26444489953

VL - 3576

SP - 20

EP - 23

BT - Lecture Notes in Computer Science

A2 - Etessami, K.

A2 - Rajamani, S.K.

ER -