Albert - PDFSEARCH.IO - Document Search Engine

Albert
Results: 12370

#	Item
1	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 Mathematics Algebra Theoretical computer science Modular arithmetic Logic in computer science Congruence relation Equivalence Closure Rewriting Congruence lattice problem Congruence subgroup
2	SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-10-26 11:14:04 Logic Mathematical logic Mathematics Predicate logic Propositional calculus Semantics Philosophical logic Satisfiability modulo theories Predicate Literal Well-formed formula Model checking
3	Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions⋆ Daniel Larraz, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio Universitat Polit`ecnica de Catalunya, Barcelona, Spain Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2014-05-28 10:18:30 Theoretical computer science Computational complexity theory Mathematical logic Constraint programming Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Maximum satisfiability problem Local consistency
4	Speeding Up the Constraint-Based Method in Difference Logic ⋆ Lorenzo Candeago1, Daniel Larraz2, Albert Oliveras2, Enric Rodr´ıguez-Carbonell2, and Albert Rubio2 2 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2016-06-28 04:33:45 Mathematics Theoretical computer science Algebra Linear programming Formal methods Constraint programming Declarative programming Invariant Satisfiability modulo theories Linear inequality Inequality
5	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 Theoretical computer science Mathematical logic Mathematics Formal methods Logic in computer science Automated theorem proving Constraint programming Electronic design automation Conflict-driven clause learning Satisfiability modulo theories Boolean satisfiability problem Unit propagation
6	The Barcelogic SMT Solver (Tool Paper)? Miquel Bofill† , Robert Nieuwenhuis? , Albert Oliveras? , Enric Rodr´ıguez-Carbonell? and Albert Rubio? † Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-04-24 09:03:36 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Solver Maximum satisfiability problem
7	Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. We consider optimization problems of th Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2009-04-02 05:06:42 Theoretical computer science Mathematics Formal methods Mathematical logic Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Resolution COMPASS/Sample Code BCD
8	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 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2010-07-28 04:32:18 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
9	Proving Non-termination Using Max-SMT? Daniel Larraz1 , Kaustubh Nimkar2 , Albert Oliveras1 , Enric Rodr´ıguez-Carbonell1 , and Albert Rubio1 1 Universitat Polit`ecnica de Catalunya, Barcelona Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2015-03-02 09:06:39 Mathematical analysis Ergodic theory Differential topology Mathematics Computability theory Lie algebras Non-associative algebras Hopf decomposition Orbifold
10	SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell 11th International Conference, SAT 2008 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-05-19 09:02:24 Theoretical computer science Mathematics Mathematical logic Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Solver Propositional calculus AMPL Modulo operation