Bound Propagation for Arithmetic Reasoning in Vampire (bibtex)
by Ioan Dragan, Konstantin Korovin, Laura Kovács, Andrei Voronkov
Reference:
Bound Propagation for Arithmetic Reasoning in VampireIoan Dragan, Konstantin Korovin, Laura Kovács, Andrei VoronkovProceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2013.
Bibtex Entry:
@inproceedings{KovacsSYNASC13,
title = {Bound Propagation for Arithmetic Reasoning in Vampire},
url = {/pubpdf/Bound_Propagation_for_Arithmetic_Reasoning_in_Vampire.pdf},
booktitle = {Proceedings of the 15th International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing (SYNASC)},
author = {Ioan Dragan and Konstantin Korovin and Laura Kov{\'a}cs and Andrei
Voronkov},
year = {2013},
}
Powered by bibtexbrowser