Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Mathematics / Formal methods / Logic in computer science / Computability theory / Electronic design automation / NP-complete problems / Satisfiability modulo theories / Solver / Entscheidungsproblem / Decidability


SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination by Dejan Jovanovi´c
Add to Reading List

Document Date: 2014-06-28 01:48:55

Open Document

File Size: 1,90 MB

Share Result on Facebook
UPDATE