Talks and Poster Presentations (without 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: 15th International Workshop on Logic and Computational Complexity and Workshop in Honor of Neil Immerman's 60th Birthday (LCC 2014/ImmermanFest), Wien; 2014-07-12 - 2014-07-13.

Electronic version of the publication:

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