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
|