[Back]


Talks and Poster Presentations (with Proceedings-Entry):

I. Dragan, K. Korovin, L. Kovacs, A. Voronkov:
"Bound Propagation for Arithmetic Reasoning in Vampire";
Talk: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania; 2013-09-23 - 2013-09-26; in: "Proceedings of the 15th International Conference on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)", (2013).



Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_225999.pdf


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