Satisfiability

Results: 637



#Item
1113th 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
12SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo

SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo

Add to Reading List

Source URL: staff.bath.ac.uk

Language: English - Date: 2017-08-06 07:51:38
13DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic Robert Nieuwenhuis and Albert Oliveras? Abstract. At CAV’04 we presented the DPLL(T ) approach for satisfiability modulo theories T . I

DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic Robert Nieuwenhuis and Albert Oliveras? Abstract. At CAV’04 we presented the DPLL(T ) approach for satisfiability modulo theories T . I

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2005-06-14 03:44:48
14Splitting on Demand in SAT Modulo Theories Clark Barrett? , Robert Nieuwenhuis?? , Albert Oliveras??, and Cesare Tinelli? ? ? Abstract. Lazy algorithms for Satisfiability Modulo Theories (SMT) combine a generic DPLL-base

Splitting on Demand in SAT Modulo Theories Clark Barrett? , Robert Nieuwenhuis?? , Albert Oliveras??, and Cesare Tinelli? ? ? Abstract. Lazy algorithms for Satisfiability Modulo Theories (SMT) combine a generic DPLL-base

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2006-07-31 08:38:18
15Synthesis of Propositional Satisfiability Solvers  Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA

Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-02 20:25:03
1613th 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:57
    17Satisfiability Modulo ODEs Sicun Gao Soonho Kong  Edmund M. Clarke

    Satisfiability Modulo ODEs Sicun Gao Soonho Kong Edmund M. Clarke

    Add to Reading List

    Source URL: scungao.github.io

    Language: English - Date: 2018-09-27 16:37:21
    18SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces ´ Erika Abrah´ am1 , John Abbott10 , Bernd Becker2 , Anna M. Bigatti3 , Martin Brain9 , Alessandro Cimatti4 , James H. Davenport5 ,

    SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces ´ Erika Abrah´ am1 , John Abbott10 , Bernd Becker2 , Anna M. Bigatti3 , Martin Brain9 , Alessandro Cimatti4 , James H. Davenport5 ,

    Add to Reading List

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

    Language: English - Date: 2017-07-30 15:11:06
    1911th International Satisfiability Modulo Theories Competition SMT-COMPSylvain Conchon

    11th International Satisfiability Modulo Theories Competition SMT-COMPSylvain Conchon

    Add to Reading List

    Source URL: user.it.uu.se

    Language: English - Date: 2016-07-02 05:15:08
    20δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

    δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

    Add to Reading List

    Source URL: scungao.github.io

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