![Theoretical computer science / Logic in computer science / NP-complete problems / Electronic design automation / Formal methods / Constraint programming / Satisfiability modulo theories / Solver / Benchmark / Unsatisfiable core / Lis Theoretical computer science / Logic in computer science / NP-complete problems / Electronic design automation / Formal methods / Constraint programming / Satisfiability modulo theories / Solver / Benchmark / Unsatisfiable core / Lis](https://www.pdfsearch.io/img/e721e5c7620ac73c9a9e47d5fe37cf2a.jpg) Date: 2018-10-23 05:42:15Theoretical computer science Logic in computer science NP-complete problems Electronic design automation Formal methods Constraint programming Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis | | 11th International Satisfiability Modulo Theories Competition (SMT-COMP 2016): Rules and Procedures Sylvain Conchon Paris-Sud University FranceAdd to Reading ListSource URL: smtcomp.sourceforge.netDownload Document from Source Website File Size: 176,74 KBShare Document on Facebook
|