Talks and Poster Presentations (with Proceedings-Entry):
G. Kovasznai, H. Veith, A. Fröhlich, A. Biere:
"On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic";
Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS),
Budapest, Ungarn;
2014-08-25
- 2014-08-29; in: "MFCS",
Springer / LNCS,
8635
(2014),
481
- 492.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-662-44465-8_41
Created from the Publication Database of the Vienna University of Technology.