1![Satisfiability Modulo Theories Competition (SMT-COMP) 2014: Rules and Procedures David R. Cok GrammaTech, Inc. Ithaca, NY (USA) Satisfiability Modulo Theories Competition (SMT-COMP) 2014: Rules and Procedures David R. Cok GrammaTech, Inc. Ithaca, NY (USA)](https://www.pdfsearch.io/img/0a29cc7dfcc8edf2c6a8b218d0aa8ddd.jpg) | Add to Reading ListSource URL: smtcomp.sourceforge.netLanguage: English - Date: 2015-02-17 10:00:22
|
---|
2![10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015): Rules and Procedures Sylvain Conchon Paris-Sud University France 10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015): Rules and Procedures Sylvain Conchon Paris-Sud University France](https://www.pdfsearch.io/img/b34311d91d54dc7793498306cc292f83.jpg) | Add to Reading ListSource URL: smtcomp.sourceforge.netLanguage: English - Date: 2016-05-20 07:13:03
|
---|
3![SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration](https://www.pdfsearch.io/img/5fb20d3cbf29c1cd985b1a8b38e99d58.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
4![Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2 Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2](https://www.pdfsearch.io/img/cd377b4fb94e96c4a77167c8abb3521f.jpg) | Add to Reading ListSource URL: pxtp.github.ioLanguage: English - Date: 2017-09-19 19:50:55
|
---|
5![13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany 13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany](https://www.pdfsearch.io/img/69526830d18d5e79abf9229a3a4b7619.jpg) | Add to Reading ListSource URL: smtcomp.sourceforge.netLanguage: English - Date: 2018-07-14 13:51:00
|
---|
6![Draft of Jamieson, J., Yamashita, N., Boase, J., (2017, September). Identifying problems and support opportunities: Learning from a unique group of foreign students. 16th IFIP TC.13 International Conference on Human-Comp Draft of Jamieson, J., Yamashita, N., Boase, J., (2017, September). Identifying problems and support opportunities: Learning from a unique group of foreign students. 16th IFIP TC.13 International Conference on Human-Comp](https://www.pdfsearch.io/img/aad20065a123ca2876989c08a873d0e0.jpg) | Add to Reading ListSource URL: jackjamieson.netLanguage: English - Date: 2018-10-23 12:14:33
|
---|
7![11th International Satisfiability Modulo Theories Competition (SMT-COMP 2016): Rules and Procedures Sylvain Conchon Paris-Sud University France 11th International Satisfiability Modulo Theories Competition (SMT-COMP 2016): Rules and Procedures Sylvain Conchon Paris-Sud University France](https://www.pdfsearch.io/img/e721e5c7620ac73c9a9e47d5fe37cf2a.jpg) | Add to Reading ListSource URL: smtcomp.sourceforge.netLanguage: English - Date: 2018-10-23 05:42:15
|
---|
8![12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017): Rules and Procedures Matthias Heizmann University of Freiburg Germany 12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017): Rules and Procedures Matthias Heizmann University of Freiburg Germany](https://www.pdfsearch.io/img/ed1ed91b7ffe9e234f091f44b4da099c.jpg) | Add to Reading ListSource URL: smtcomp.sourceforge.netLanguage: English - Date: 2018-06-12 08:25:59
|
---|
9![Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania](https://www.pdfsearch.io/img/9fa3292d930759ebf3fee9e088b582de.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
10![Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu](https://www.pdfsearch.io/img/e39e1052f3d8fcb0887de84bd1c52d84.jpg) | Add to Reading ListSource URL: www.block-cloud.ioLanguage: English - Date: 2018-09-20 01:51:30
|
---|