Date: 2016-06-28 04:33:45Mathematics 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 2Add to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 313,94 KBShare Document on Facebook
|