Girona

Results: 660



#Item
1Mathematics / Algebra / Theoretical computer science / Modular arithmetic / Logic in computer science / Congruence relation / Equivalence / Closure / Rewriting / Congruence lattice problem / Congruence subgroup

Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2005-02-02 07:20:48
2Theoretical computer science / Mathematics / Computational complexity theory / Logic in computer science / Automated theorem proving / Boolean algebra / NP-complete problems / Combinatorial optimization / Maximum satisfiability problem / Boolean satisfiability problem / Resolution / Unit propagation

MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2007-03-01 08:21:24
3Theoretical computer science / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Mathematics / Constraint programming / Satisfiability modulo theories / Boolean satisfiability problem / Array data type / Literal / Matrix

A Write-Based Solver for SAT Modulo the Theory of Arrays Miquel Bofill Universitat de Girona Robert Nieuwenhuis

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2008-07-14 06:59:10
4

PDF Document

Add to Reading List

Source URL: www.girona.cat

- Date: 2014-08-04 02:32:33
    5

    PDF Document

    Add to Reading List

    Source URL: www.girona.cat

    - Date: 2014-08-04 02:33:49
      6

      PDF Document

      Add to Reading List

      Source URL: www.girona.cat

      - Date: 2014-08-04 03:11:24
        7

        PDF Document

        Add to Reading List

        Source URL: www.girona.cat

        - Date: 2018-08-14 03:44:14
          8

          PDF Document

          Add to Reading List

          Source URL: www.girona.cat

          - Date: 2018-08-14 03:44:14
            9

            PDF Document

            Add to Reading List

            Source URL: www.girona.cat

            - Date: 2014-08-04 02:35:23
              10

              PDF Document

              Add to Reading List

              Source URL: www.girona.cat

              - Date: 2014-08-04 03:12:21
                UPDATE