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

ASJC Scopus subject areas

  • Computer Science (miscellaneous)

Cite this