![Theoretical computer science / Computing / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Constraint programming / Satisfiability modulo theories / Benchmark / Solver / Standard Performance Evaluation Corporation / Computer performance Theoretical computer science / Computing / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Constraint programming / Satisfiability modulo theories / Benchmark / Solver / Standard Performance Evaluation Corporation / Computer performance](https://www.pdfsearch.io/img/0a29cc7dfcc8edf2c6a8b218d0aa8ddd.jpg) Date: 2015-02-17 10:00:22Theoretical computer science Computing Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Benchmark Solver Standard Performance Evaluation Corporation Computer performance | | Satisfiability Modulo Theories Competition (SMT-COMP) 2014: Rules and Procedures David R. Cok GrammaTech, Inc. Ithaca, NY (USA) Add to Reading ListSource URL: smtcomp.sourceforge.netDownload Document from Source Website File Size: 147,67 KBShare Document on Facebook
|