![Computer programming / Software engineering / Combinatorial optimization / Matching / Monad / Conditional Computer programming / Software engineering / Combinatorial optimization / Matching / Monad / Conditional](https://www.pdfsearch.io/img/91448503a160c185236a1d8763dc23a3.jpg) Date: 2007-07-25 04:45:02Computer programming Software engineering Combinatorial optimization Matching Monad Conditional | | Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, RedmondAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 665,46 KBShare Document on Facebook
|