Back to Results
First PageMeta Content
Logic in computer science / Automated theorem proving / Formal methods / Theoretical computer science / Constraint programming / Satisfiability modulo theories / Z3 / Isabelle / Formal verification / Proof assistant / Automated reasoning / E theorem prover


Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson
Add to Reading List

Document Date: 2015-01-25 16:18:54

Open Document

File Size: 189,10 KB

Share Result on Facebook
UPDATE