![Theoretical computer science / Computing / NP-complete problems / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / Satisfiability modulo theories / Solver / Benchmark / Unsatisfiable core / Lis Theoretical computer science / Computing / NP-complete problems / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / Satisfiability modulo theories / Solver / Benchmark / Unsatisfiable core / Lis](https://www.pdfsearch.io/img/ed1ed91b7ffe9e234f091f44b4da099c.jpg) Date: 2018-06-12 08:25:59Theoretical computer science Computing NP-complete problems Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis | | 12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017): Rules and Procedures Matthias Heizmann University of Freiburg GermanyAdd to Reading ListSource URL: smtcomp.sourceforge.netDownload Document from Source Website File Size: 200,62 KBShare Document on Facebook
|