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),
- 2014-08-29; in: "MFCS",
Springer / LNCS,
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.