![Formal methods / Logic in computer science / Electronic design automation / NP-complete problems / Constraint programming / Satisfiability Modulo Theories / Automated theorem proving / Solver / Mathematical proof / Theoretical computer science / Mathematics / Applied mathematics Formal methods / Logic in computer science / Electronic design automation / NP-complete problems / Constraint programming / Satisfiability Modulo Theories / Automated theorem proving / Solver / Mathematical proof / Theoretical computer science / Mathematics / Applied mathematics](https://www.pdfsearch.io/img/5b8d8553df44a800c3745c69eca1291c.jpg) Date: 2014-09-27 11:09:54Formal methods Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Automated theorem proving Solver Mathematical proof Theoretical computer science Mathematics Applied mathematics | | Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2Add to Reading ListSource URL: bware.lri.frDownload Document from Source Website File Size: 95,87 KBShare Document on Facebook
|