Albert Oliveras

发表

Proving Non-termination Using Max-SMT

Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, 2014, CAV.

Proof-Producing Congruence Closure

Albert Oliveras, Robert Nieuwenhuis, R. Nieuwenhuis, 2005, RTA.

A Framework for Certified Boolean Branch-and-Bound Optimization

Albert Oliveras, Enric Rodríguez-Carbonell, Javier Larrosa, 2010, Journal of Automated Reasoning.

ELECTRICAL ENGINEERING DESIGN-BUILD PROJECT: CLASS-D AUDIO AMPLIFIER DESIGN AND CHARACTERIZATION

Albert Oliveras, Francesc Vallverdú, Sergi Bermejo, 2014 .

A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints

Albert Oliveras, Enric Rodríguez-Carbonell, Robert Nieuwenhuis, 2013, CP.

Cardinality Networks and Their Applications

Albert Oliveras, Enric Rodríguez-Carbonell, Robert Nieuwenhuis, 2009, SAT.

Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)

Cesare Tinelli, Albert Oliveras, Robert Nieuwenhuis, 2006, JACM.

BDDs for Pseudo-Boolean Constraints - Revisited

Albert Oliveras, Enric Rodríguez-Carbonell, Robert Nieuwenhuis, 2011, SAT.

Efficient Generation of Unsatisfiability Proofs and Cores in SAT

Albert Oliveras, Enric Rodríguez-Carbonell, Robert Nieuwenhuis, 2008, LPAR.

SMT Techniques for Fast Predicate Abstraction

Albert Oliveras, Shuvendu K. Lahiri, Robert Nieuwenhuis, 2006, CAV.

DESIGNING CDIO CAPSTONE PROJECTS: A SYSTEMS THINKING APPROACH

Albert Oliveras, Adriano Camps, Elisenda Bou, 2013 .

On SAT Modulo Theories and Optimization Problems

Albert Oliveras, Robert Nieuwenhuis, R. Nieuwenhuis, 2006, SAT.

To Encode or to Propagate? The Best Choice for Each Constraint in SAT

Peter J. Stuckey, Albert Oliveras, Enric Rodríguez-Carbonell, 2013, CP.

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

Albert Oliveras, Enric Rodríguez-Carbonell, Robert Nieuwenhuis, 2010, AI Commun..

A New Look at BDDs for Pseudo-Boolean Constraints pdf

Albert Oliveras, Enric Rodríguez-Carbonell, Robert Nieuwenhuis, 2012, J. Artif. Intell. Res..

Congruence Closure with Integer Offsets

Albert Oliveras, Robert Nieuwenhuis, R. Nieuwenhuis, 2003, LPAR.

Design of the Basic Engineering Project subject for the second year of Electrical Engineering at Telecom BCN

Albert Oliveras, Adriano Camps, Eduard Alarcon, 2011 .

Cardinality Networks: a theoretical and empirical study

Albert Oliveras, Enric Rodríguez-Carbonell, Robert Nieuwenhuis, 2011, Constraints.

A Write-Based Solver for SAT Modulo the Theory of Arrays

Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio, 2008, 2008 Formal Methods in Computer-Aided Design.

DPLL( T): Fast Decision Procedures

Cesare Tinelli, Albert Oliveras, Harald Ganzinger, 2004, CAV.

Speeding up the Constraint-Based Method in Difference Logic

Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, 2016, SAT.

DESIGN OF THE ADVANCED ENGINEERING PROJECT COURSE FOR THE THIRD YEAR OF ELECTRICAL ENGINEERING AT TELECOM BCN

Albert Oliveras, Adriano Camps, Eduard Alarcon, 2012 .

Abstract DPLL and Abstract DPLL Modulo Theories

Cesare Tinelli, Albert Oliveras, Robert Nieuwenhuis, 2005, LPAR.

Filtering method and associated filtering system

Albert Oliveras, Philippe Salembier, Luis Garrido, 1997 .

Challenges in Satisfiability Modulo Theories

Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio, 2007, RTA.

The Barcelogic SMT Solver Tool Paper

Albert Oliveras, Albert Rubio, Robert Nieuwenhuis, 2008 .

The Barcelogic SMT Solver

Albert Oliveras, Enric Rodríguez-Carbonell, Robert Nieuwenhuis, 2008, CAV.

Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007)

Albert Oliveras, Aaron Stump, Clark W. Barrett, 2008, Int. J. Artif. Intell. Tools.

Morphological segmentation-based coding of image sequences

Marc Van Droogenbroeck, Albert Oliveras, Montse Pardàs, 1993 .

Proving termination of imperative programs using Max-SMT

Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, 2013, 2013 Formal Methods in Computer-Aided Design.

Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates

Albert Oliveras, Enric Rodríguez-Carbonell, Javier Larrosa, 2009, SAT.

Fast congruence closure and extensions

Albert Oliveras, Robert Nieuwenhuis, R. Nieuwenhuis, 2007, Inf. Comput..

SAT Modulo Linear Arithmetic for Solving Polynomial Constraints

Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, 2010, Journal of Automated Reasoning.

Motion analysis of image sequences using connected operators

Albert Oliveras, Philippe Salembier, Luis Garrido, 1997, Electronic Imaging.

FACULTY DEVELOPMENT THROUGH PEER-LEARNING IN THE TELECOM-BCN DESIGN-BUILD PROJECT SUBJECTS

Albert Oliveras, Adriano Camps, Eduard Alarcon, 2013 .

6 Years of SMT-COMP

Albert Oliveras, Aaron Stump, Leonardo Mendonça de Moura, 2012, Journal of Automated Reasoning.

Implementation and first results of the Introduction to Engineering course in the ETSETB-UPC new degrees

Olga Pons, Albert Oliveras, Adriano Camps, 2011, 2011 Promotion and Innovation with New Technologies in Engineering Education (FINTDI 2011).

Proving Termination Through Conditional Termination

Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, 2017, TACAS.

Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools

Albert Oliveras, Robert Nieuwenhuis, R. Nieuwenhuis, 2005, LPAR.

Decision levels are stable: towards better SAT heuristics

Albert Oliveras, Enric Rodríguez-Carbonell, Robert Nieuwenhuis, 2020, LPAR.

Semiring-Induced Propositional Logic: Definition and Basic Algorithms

Albert Oliveras, Enric Rodríguez-Carbonell, Javier Larrosa, 2010, LPAR.

Compositional safety verification with Max-SMT

Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).

Generalized connected operators

Albert Oliveras, Philippe Salembier, 1996, Other Conferences.

Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions

Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, 2014, SAT.

DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic

Albert Oliveras, Robert Nieuwenhuis, R. Nieuwenhuis, 2005, CAV.

Splitting on Demand in SAT Modulo Theories

Cesare Tinelli, Albert Oliveras, Robert Nieuwenhuis, 2006, LPAR.

Two level continuous speech recognition using demisyllable-based HMM word spotting

José B. Mariño, Albert Oliveras, Climent Nadeu, 1991, EUROSPEECH.

Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers

Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, 2019, ACM Trans. Comput. Log..

COOPERATION FRAMEWORK WITH A HOSPITAL AS A DESIGN-BUILD PROJECTS SOURCE

Albert Oliveras, Miguel García-Hernández, Ramon Bragós, 2015 .

SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers

Albert Oliveras, Enric Rodríguez-Carbonell, Robert Nieuwenhuis, 2008, SAT.

MiniMaxSAT: An Efficient Weighted Max-SAT solver

Albert Oliveras, Javier Larrosa, Federico Heras, 2008, J. Artif. Intell. Res..

Preface

Albert Oliveras, Sava Krstic, 2008, Electron. Notes Theor. Comput. Sci..

MiniMaxSat: A New Weighted Max-SAT Solver

Albert Oliveras, Javier Larrosa, Federico Heras, 2007, SAT.

A Heuristic Approach to the Design of Optimal Cross-Docking Boxes

Albert Oliveras, Robert Nieuwenhuis, Enric Rodríguez-carbonell, 2021, IEEE Access.

Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving

Albert Oliveras, Enric Rodríguez-Carbonell, Robert Nieuwenhuis, 2021, IEEE Access.

Union-Find and Congruence Closure Algorithms that Produce Proofs

Albert Oliveras, Robert Nieuwenhuis, 2004 .