Theories

Results: 13210



#Item
1Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang

Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang

Add to Reading List

Source URL: pxtp.github.io

Language: English - Date: 2017-09-19 19:50:55
2Satisfiability 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
310th 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
4CC(X): Efficiently Combining Equalities and Solvable Theories without Canonizers Sylvain Conchon, Evelyne Contejean and Johannes Kanig ProVal Project Universit´e Paris Sud / CNRS / INRIA

CC(X): Efficiently Combining Equalities and Solvable Theories without Canonizers Sylvain Conchon, Evelyne Contejean and Johannes Kanig ProVal Project Universit´e Paris Sud / CNRS / INRIA

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2007-07-13 04:34:22
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
6Challenges in Satisfiability Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio? Abstract. Here we give a short overview of the DPLL(T ) approach to Satisfiability Modulo

Challenges in Satisfiability Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio? Abstract. Here we give a short overview of the DPLL(T ) approach to Satisfiability Modulo

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2007-09-19 06:11:44
7AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK

AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-10-06 05:17:59
8Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-02 21:04:29
9Interpolants in Nonlinear Theories over the Reals Sicun Gao and Damien Zufferey? MIT Revised on June 17, 2016.

Interpolants in Nonlinear Theories over the Reals Sicun Gao and Damien Zufferey? MIT Revised on June 17, 2016.

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21