Back to Results
First PageMeta Content
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


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 t
Add to Reading List

Document Date: 2017-07-21 11:03:15


Open Document

File Size: 231,02 KB

Share Result on Facebook