![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 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](https://www.pdfsearch.io/img/08115893e80a637becbabae8e5d3c0e6.jpg) Date: 2015-01-25 16:18:54Logic 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. PaulsonAdd to Reading ListSource URL: people.mpi-inf.mpg.deDownload Document from Source Website File Size: 189,10 KBShare Document on Facebook
|