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),
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.