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:
https://docs.google.com/viewer?a=v&pid=sites&srcid=ZGVmYXVsdGRvbWFpbnxna292YXN6fGd4OjY1Y2VmY2UyMmU0ZjJiZGE
Created from the Publication Database of the Vienna University of Technology.