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.

Virtual Substitution for SMT-Solving

Florian Corzilius, Erika Ábrahám. Virtual Substitution for SMT-Solving. In Olaf Owe, Martin Steffen, Jan Arne Telle, editors, Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings. Volume 6914 of Lecture Notes in Computer Science, pages 360-371, Springer, 2011. [doi]

Authors

Florian Corzilius

This author has not been identified. Look up 'Florian Corzilius' in Google

Erika Ábrahám

This author has not been identified. Look up 'Erika Ábrahám' in Google
runs on