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
|