Theories

Results: 13210



#Item
1111th 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
12Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers∗ Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi Eszterházy Károly University, Eger, Hungary IoT Research

Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers∗ Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi Eszterházy Károly University, Eger, Hungary IoT Research

Add to Reading List

Source URL: smt-workshop.cs.uiowa.edu

Language: English - Date: 2017-09-02 14:08:49
13Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

Add to Reading List

Source URL: pxtp.github.io

Language: English - Date: 2017-09-19 19:50:55
14Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t

Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2014-06-27 12:47:14
1512th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann (co-organizer)

12th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann (co-organizer)

Add to Reading List

Source URL: smtcomp.sourceforge.net

Language: English - Date: 2018-06-12 08:25:55
1611th International Satisfiability Modulo Theories Competition SMT-COMPSylvain Conchon

11th International Satisfiability Modulo Theories Competition SMT-COMPSylvain Conchon

Add to Reading List

Source URL: smtcomp.sourceforge.net

Language: English - Date: 2018-10-23 05:42:33
1712th 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
18Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2018-08-15 07:19:09
1913th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann Aina Niemetz

13th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann Aina Niemetz

Add to Reading List

Source URL: smtcomp.sourceforge.net

Language: English - Date: 2018-07-14 13:50:22
20Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1298) DOUBLE AFFINE GRASSMANNIANS AND COULOMB BRANCHES OF 3dN = 4 QUIVER GAUGE THEORIES Michael Finkelberg

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1298) DOUBLE AFFINE GRASSMANNIANS AND COULOMB BRANCHES OF 3dN = 4 QUIVER GAUGE THEORIES Michael Finkelberg

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-25 13:17:42