![Theoretical computer science / Mathematics / Computational complexity theory / Constraint programming / Electronic design automation / Logic in computer science / Satisfiability modulo theories / Heap / FO / Transitive closure Theoretical computer science / Mathematics / Computational complexity theory / Constraint programming / Electronic design automation / Logic in computer science / Satisfiability modulo theories / Heap / FO / Transitive closure](https://www.pdfsearch.io/img/49a88d77d47cf3cd2234b10f9013d0c3.jpg) Date: 2007-07-09 10:11:38Theoretical computer science Mathematics Computational complexity theory Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Heap FO Transitive closure | | Deciding Unbounded Heaps in an SMT Framework Zvonimir Rakamarić 1 , Roberto Bruttomesso 2 , Alan Hu 1 , Alessandro Cimatti 2 1 University of British Columbia; 2 ITCIRSTAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 391,84 KBShare Document on Facebook
|