![Theoretical computer science / Mathematics / Formal methods / Mathematical logic / Logic in computer science / Electronic design automation / NP-complete problems / Boolean algebra / Satisfiability modulo theories / Coq / Solver / Proof assistant Theoretical computer science / Mathematics / Formal methods / Mathematical logic / Logic in computer science / Electronic design automation / NP-complete problems / Boolean algebra / Satisfiability modulo theories / Coq / Solver / Proof assistant](https://www.pdfsearch.io/img/f6993a6322370d9491c043b46277e9f9.jpg) Date: 2017-07-21 11:03:15Theoretical computer science Mathematics Formal methods Mathematical logic Logic in computer science Electronic design automation NP-complete problems Boolean algebra Satisfiability modulo theories Coq Solver Proof assistant | | SMTCoq: A plug-in for integrating SMT solvers into Coq? Burak Ekici1 , Alain Mebsout1 , Cesare Tinelli1 , Chantal Keller2 , Guy Katz3 , Andrew Reynolds1 , and Clark Barrett3 tAdd to Reading ListSource URL: mebsout.github.ioDownload Document from Source Website File Size: 231,02 KBShare Document on Facebook
|