SMT-COMP: Satisfiability modulo theories competition

Clark Barrett, Leonardo De Moura, Aaron Stump

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Lecture Notes in Computer Science
Editors	K. Etessami, S.K. Rajamani
Pages	20-23
Number of pages	4
Volume	3576
State	Published - 2005
Event	17th International Conference on Computer Aided Verification, CAV 2005 - Edinburgh, Scotland, United Kingdom Duration: Jul 6 2005 → Jul 10 2005

Other	17th International Conference on Computer Aided Verification, CAV 2005
Country/Territory	United Kingdom
City	Edinburgh, Scotland
Period	7/6/05 → 7/10/05

ASJC Scopus subject areas

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

note = "17th International Conference on Computer Aided Verification, CAV 2005 ; Conference date: 06-07-2005 Through 10-07-2005",

}

TY - GEN

T1 - SMT-COMP

T2 - 17th International Conference on Computer Aided Verification, CAV 2005

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.

Y2 - 6 July 2005 through 10 July 2005

ER -