Back to Results
First PageMeta Content
Operations research / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / Satisfiability Modulo Theories / Linear programming / Local consistency / Theoretical computer science / Applied mathematics / Mathematics


Bound Propagation for Arithmetic Reasoning in Vampire Ioan Dragan∗ , Konstantin Korovin † , Laura Kov´acs ‡ , Andrei Voronkov † ∗ Vienna University of Technology
Add to Reading List

Document Date: 2013-12-12 08:44:35

Open Document

File Size: 217,91 KB

Share Result on Facebook
UPDATE