External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

6 Years of SMT-COMP

Clark Barrett, Morgan Deters, Leonardo Mendonça de Moura, Albert Oliveras, Aaron Stump. 6 Years of SMT-COMP. Journal of Automated Reasoning, 50(3):243-277, 2013. [doi]

Authors

Clark Barrett

This author has not been identified. Look up 'Clark Barrett' in Google

Morgan Deters

This author has not been identified. Look up 'Morgan Deters' in Google

Leonardo Mendonça de Moura

This author has not been identified. Look up 'Leonardo Mendonça de Moura' in Google

Albert Oliveras

This author has not been identified. Look up 'Albert Oliveras' in Google

Aaron Stump

This author has not been identified. Look up 'Aaron Stump' in Google
runs on