Back to Results
First PageMeta Content
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


Satisfiability Modulo Theories Competition (SMT-COMP) 2014: Rules and Procedures David R. Cok GrammaTech, Inc. Ithaca, NY (USA)
Add to Reading List

Document Date: 2015-02-17 10:00:22

Open Document

File Size: 147,67 KB

Share Result on Facebook