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,
- 2013-09-26; in: "Proceedings of the 15th International Conference on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)",
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.