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.

On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic

Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere. On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. In Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik, editors, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II. Volume 8635 of Lecture Notes in Computer Science, pages 481-492, Springer, 2014. [doi]

Authors

Gergely Kovásznai

This author has not been identified. Look up 'Gergely Kovásznai' in Google

Helmut Veith

This author has not been identified. Look up 'Helmut Veith' in Google

Andreas Fröhlich

This author has not been identified. Look up 'Andreas Fröhlich' in Google

Armin Biere

This author has not been identified. Look up 'Armin Biere' in Google
runs on