![Logic in computer science / Automated theorem proving / Formal methods / Constraint programming / Reasoning / Satisfiability Modulo Theories / Proof assistant / E theorem prover / Isabelle / Theoretical computer science / Applied mathematics / Mathematics Logic in computer science / Automated theorem proving / Formal methods / Constraint programming / Reasoning / Satisfiability Modulo Theories / Proof assistant / E theorem prover / Isabelle / Theoretical computer science / Applied mathematics / Mathematics](https://www.pdfsearch.io/img/d714ec5638d1ac455e86c66fe32ecf80.jpg) Date: 2013-06-03 12:43:37Logic in computer science Automated theorem proving Formal methods Constraint programming Reasoning Satisfiability Modulo Theories Proof assistant E theorem prover Isabelle Theoretical computer science Applied mathematics Mathematics | | Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette1,? , Sascha Böhme1 , and Lawrence C. Paulson2 1 Institut für Informatik, Technische Universität München, Germany 2 Computer Laboratory, University oAdd to Reading ListSource URL: www21.in.tum.deDownload Document from Source Website File Size: 146,73 KBShare Document on Facebook
|