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

Declaration of publishing ethics and best practices for scientific journals published by the University of Barcelona Approved by the Executive Council on 8 FebruaryRatified by the Governing Council on 16 April 201

Source URL: diposit.ub.edu

Estimating Cross-Industry Cross-Country Interaction Models Using Benchmark Industry Characteristics Antonio Ciccone University of Mannheim, Barcelona GSE, and CEPR Elias Papaioannou

Source URL: www.antoniociccone.eu

Opacity, Know-How States, and their Content Josefa Toribio ICREA-University of Barcelona BIBLID626X; pp]

Source URL: www.disputatio.letras.ulisboa.pt

Heartless’ Institutions: Critical Educators and University Feudalism by Ramon Flecha University of Barcelona

Source URL: freireproject.org

Breaking the Silence: The Struggle Against Gender Violence in Universities by Lídia Puigvert University of Barcelona

Source URL: freireproject.org

Information-theoretic policy search methods for learning versatile, reusable skills Gerhard Neumann University of Lincoln / University of Darmstadt | Gerhard Neumann | EWRL 2016 | Barcelona | 1

Source URL: ewrl.files.wordpress.com

PLENARY SESSION 2 Auditorium Ronsard Introductory lectures for sessions A&B Chairs: Cristina Andres Lacueva - University of Barcelona - Spain

Source URL: www.icph2015.com

Introduction: Bringing a New Vision to Online Dispute Resolution Marta POBLET 1 Institute of Law and Technology, Autonomous University of Barcelona (IDT-UAB) Abstract. This article offers a brief overview of the state-o

Source URL: ftp.informatik.rwth-aachen.de