Bound Propagation for Arithmetic Reasoning in Vampire.

Ioan Dragan, Konstantin Korovin, Laura Kovcs, Andrei Voronkov

Browse the full SYNASC paper archive.