![](https://www.pdfsearch.io/img/62489efbfe2751f90c8e1f939f91ce3d.jpg) Date: 2015-06-23 07:23:45
| | Satisfiability Modulo Theories Clark Barrett and Cesare Tinelli Abstract Satisfiability Modulo Theories (SMT) refers to the problem of determining whether a first-order formula is satisfiable with respect to some logicalAdd to Reading ListSource URL: www.lsv.ens-cachan.frDownload Document from Source Website File Size: 276,57 KBShare Document on Facebook
|