Comp

Results: 8081



#Item
1Satisfiability 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)

Add to Reading List

Source URL: smtcomp.sourceforge.net

Language: English - Date: 2015-02-17 10:00:22
210th 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

Add to Reading List

Source URL: smtcomp.sourceforge.net

Language: English - Date: 2016-05-20 07:13:03
3SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration

SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 04:54:12
4Under 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

Add to Reading List

Source URL: pxtp.github.io

Language: English - Date: 2017-09-19 19:50:55
513th 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

Add to Reading List

Source URL: smtcomp.sourceforge.net

Language: English - Date: 2018-07-14 13:51:00
6Draft 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

Add to Reading List

Source URL: jackjamieson.net

Language: English - Date: 2018-10-23 12:14:33
711th 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

Add to Reading List

Source URL: smtcomp.sourceforge.net

Language: English - Date: 2018-10-23 05:42:15
812th 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

Add to Reading List

Source URL: smtcomp.sourceforge.net

Language: English - Date: 2018-06-12 08:25:59
9Results 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

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Language: English - Date: 2018-06-25 09:59:57
10Blockcloud: 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

Add to Reading List

Source URL: www.block-cloud.io

Language: English - Date: 2018-09-20 01:51:30