Back to Results
First PageMeta Content
Mathematics / Theoretical computer science / Algebra / Linear programming / Formal methods / Constraint programming / Declarative programming / Invariant / Satisfiability modulo theories / Linear inequality / Inequality


Speeding Up the Constraint-Based Method in Difference Logic ⋆ Lorenzo Candeago1, Daniel Larraz2, Albert Oliveras2, Enric Rodr´ıguez-Carbonell2, and Albert Rubio2 2
Add to Reading List

Document Date: 2016-06-28 04:33:45


Open Document

File Size: 313,94 KB

Share Result on Facebook