[Back]


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:
http://www.easychair.org/publications/?page=1200860662

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