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.

Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors

Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters. Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. In Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. Volume 9450 of Lecture Notes in Computer Science, pages 340-355, Springer, 2015. [doi]

Authors

Liana Hadarean

This author has not been identified. Look up 'Liana Hadarean' in Google

Clark W. Barrett

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

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

Morgan Deters

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