Albert Oliveras
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
7
Active years
1991–2026
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | WhyUnsat: A Practical Explanation Tool (Tool Paper). | Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2025 | SAT | Symbolic Conflict Analysis in Pseudo-Boolean Optimization. | Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Rui Zhao |
| 2024 | SAT | Speeding up Pseudo-Boolean Propagation. | Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Rui Zhao |
| 2023 | LPAR | Analyzing Multiple Conflicts in SAT: An Experimental Evaluation. | Albert Oliveras, Enric Rodrguez-Carbonell, Rui Zhao |
| 2023 | SAT | Learning Shorter Redundant Clauses in SDCL Using MaxSAT. | Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh |
| 2020 | LPAR | Decision levels are stable: towards better SAT heuristics. | Robert Nieuwenhuis, Adri Lozano, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2017 | TACAS | Proving Termination Through Conditional Termination. | Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2016 | SAT | Speeding up the Constraint-Based Method in Difference Logic. | Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2015 | FMCAD | Compositional Safety Verification with Max-SMT. | Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2014 | CAV | Proving Non-termination Using Max-SMT. | Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2014 | SAT | Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions. | Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2013 | CP | A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2013 | CP | To Encode or to Propagate? The Best Choice for Each Constraint in SAT. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Peter J. Stuckey |
| 2013 | FMCAD | Proving termination of imperative programs using Max-SMT. | Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2011 | SAT | BDDs for Pseudo-Boolean Constraints - Revisited. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2010 | LPAR | Semiring-Induced Propositional Logic: Definition and Basic Algorithms. | Javier Larrosa, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2009 | SAT | Cardinality Networks and Their Applications. | Roberto Asn, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2009 | SAT | Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. | Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2008 | CAV | The Barcelogic SMT Solver. | Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2008 | FMCAD | A Write-Based Solver for SAT Modulo the Theory of Arrays. | Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2008 | LPAR | Efficient Generation of Unsatisfiability Proofs and Cores in SAT. | Roberto Asn, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2008 | SAT | SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. | Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2007 | SAT | MiniMaxSat: A New Weighted Max-SAT Solver. | Federico Heras, Javier Larrosa, Albert Oliveras |
| 2006 | CAV | SMT Techniques for Fast Predicate Abstraction. | Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras |
| 2006 | LPAR | Splitting on Demand in SAT Modulo Theories. | Clark W. Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
| 2006 | SAT | On SAT Modulo Theories and Optimization Problems. | Robert Nieuwenhuis, Albert Oliveras |
| 2005 | CAV | DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic. | Robert Nieuwenhuis, Albert Oliveras |
| 2005 | LPAR | Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools. | Robert Nieuwenhuis, Albert Oliveras |
| 2004 | CAV | DPLL( T): Fast Decision Procedures. | Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
| 2004 | LPAR | Abstract DPLL and Abstract DPLL Modulo Theories. | Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
| 2003 | LPAR | Congruence Closure with Integer Offsets. | Robert Nieuwenhuis, Albert Oliveras |
| 1991 | Interspeech | Two level continuous speech recognition using demisyllable-based HMM word spotting. | Eduardo Lleida, Jos B. Mario, Climent Nadeu, Albert Oliveras |