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.