2-satisfiability

Results: 107



#Item
1A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research

A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2014-06-27 12:47:14
2SMT Workshop’07 5th International Workshop on Satisfiability Modulo Theories (Previously called PDPAR: Pragmatics of Decision Procedures in Automated Reasoning) Affiliated with CAV’07 Berlin, Germany, 1-2 July 2007

SMT Workshop’07 5th International Workshop on Satisfiability Modulo Theories (Previously called PDPAR: Pragmatics of Decision Procedures in Automated Reasoning) Affiliated with CAV’07 Berlin, Germany, 1-2 July 2007

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2007-05-29 03:47:08
3Gap Amplification Fails Below 1/2 Andrej Bogdanov June 1, 2005 Abstract The gap amplification lemma of Dinur (ECCC TR05-46) states that the satisfiability gap

Gap Amplification Fails Below 1/2 Andrej Bogdanov June 1, 2005 Abstract The gap amplification lemma of Dinur (ECCC TR05-46) states that the satisfiability gap

Add to Reading List

Source URL: www.cse.cuhk.edu.hk

Language: English - Date: 2008-09-12 03:56:40
    4Variant-Based Decidable Satisfiability in Initial Algebras with Predicates Ra´ ul Guti´errez1 1 DSIC, 2 University

    Variant-Based Decidable Satisfiability in Initial Algebras with Predicates Ra´ ul Guti´errez1 1 DSIC, 2 University

    Add to Reading List

    Source URL: www.sci.unich.it

    - Date: 2017-10-23 05:15:29
      52 Satisfiability Checking and Symbolic Computation (SC

      2 Satisfiability Checking and Symbolic Computation (SC

      Add to Reading List

      Source URL: computing.coventry.ac.uk

      - Date: 2016-07-18 08:02:47
        6Curriculum Vitae: Alexis C. Kaporis Contact information Address : Phone:

        Curriculum Vitae: Alexis C. Kaporis Contact information Address : Phone:

        Add to Reading List

        Source URL: students.ceid.upatras.gr

        Language: English - Date: 2006-02-09 03:56:19
        7CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel

        CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel

        Add to Reading List

        Source URL: www.fields.utoronto.ca

        Language: English - Date: 2011-07-27 15:26:23
        8Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization

        Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization

        Add to Reading List

        Source URL: people.mpi-inf.mpg.de

        Language: English - Date: 2009-06-05 11:15:41
        9Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland

        Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland

        Add to Reading List

        Source URL: ceur-ws.org

        Language: English - Date: 2010-05-18 11:55:34
        10Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2

        Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2

        Add to Reading List

        Source URL: www.mancoosi.org

        Language: English - Date: 2012-12-16 04:54:55