![Theoretical computer science / Computing / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Constraint programming / Satisfiability modulo theories / Benchmark / Solver / Lis / Standard Performance Evaluation Corporation Theoretical computer science / Computing / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Constraint programming / Satisfiability modulo theories / Benchmark / Solver / Lis / Standard Performance Evaluation Corporation](https://www.pdfsearch.io/img/b34311d91d54dc7793498306cc292f83.jpg) Date: 2016-05-20 07:13:03Theoretical computer science Computing Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Benchmark Solver Lis Standard Performance Evaluation Corporation | | 10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015): Rules and Procedures Sylvain Conchon Paris-Sud University FranceAdd to Reading ListSource URL: smtcomp.sourceforge.netDownload Document from Source Website File Size: 162,84 KBShare Document on Facebook
|