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

Source URL: www.lsi.upc.edu

• Mathematics
• Algebra
• Theoretical computer science
• Modular arithmetic
• Logic in computer science
• Congruence relation
• Equivalence
• Closure
• Rewriting
• Congruence lattice problem
• Congruence subgroup

Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls

Source URL: www.lsi.upc.edu

• Mathematics
• Theoretical computer science
• Automated theorem proving
• Algebra
• Logic in computer science
• Algebraic structures
• Semiring
• Boolean satisfiability problem
• DPLL algorithm
• Unit propagation
• Maximum satisfiability problem
• Resolution

Splitting on Demand in SAT Modulo Theories Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli New York Univ. Techn. Univ. Catalonia

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematical logic
• Mathematics
• Boolean algebra
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Phnom Penh
• Solver
• Propositional calculus

Abstract DPLL and Abstract DPLL Modulo Theories Robert Nieuwenhuis1 , Albert Oliveras1 , and Cesare Tinelli2 1 Technical University of Catalonia

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Formal methods
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Boolean satisfiability problem
• DPLL
• Phase-locked loop
• Satisfiability

PDF Document

Source URL: www.catalonia.com.br

PDF Document

Source URL: www.catalonia.com.br

PDF Document

Source URL: www.catalonia.com.br

PDF Document

Source URL: www.catalonia.com.br

PDF Document

Source URL: www.catalonia.com.br

PDF Document

Source URL: www.catalonia.com.br