Date: 2010-10-30 16:21:50

Theoretical 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. Conway

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 55,51 KB