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.

Finding conflicting instances of quantified formulas in SMT

Andrew Reynolds, Cesare Tinelli, Leonardo Mendonça de Moura. Finding conflicting instances of quantified formulas in SMT. In Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014. pages 195-202, IEEE, 2014. [doi]

Authors

Andrew Reynolds

This author has not been identified. Look up 'Andrew Reynolds' in Google

Cesare Tinelli

This author has not been identified. Look up 'Cesare Tinelli' in Google

Leonardo Mendonça de Moura

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