Talks and Poster Presentations (with Proceedings-Entry):

A. Fröhlich, G. Kovasznai, A. Biere, H. Veith:
"On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic";
Talk: International Workshop on Pragmatics of SAT (POS), Wien; 2014-07-13; in: "POS", (2014), 14 pages.

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.