Date: 2010-10-30 16:21:50Theoretical computer science Formal methods Logic in computer science Constraint programming Electronic design automation NP-complete problems Satisfiability modulo theories Solver SMT Uninterpreted function Model checking Alt-Ergo | | Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers Clark Barrett Christopher L. ConwayDocument is deleted from original location. Use the Download Button below to download from the Web Archive.Download Document from Web Archive File Size: 55,51 KB
|