Journal papers


Ignasi Abío,
Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger.
A New Look at BDDs for Pseudo-Boolean Constraints [PDF].
In Journal of Artificial Intelligence Research, Volume 45, November 2012.
© AAAI Press


Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio
The Recursive Path and Polynomial Ordering for First-Order and Higher-Order Terms [PDF].
In Journal of Logic and Computation, June 2012.
© Oxford University Press


Cristina Borralleras,
Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
SAT Modulo Linear Arithmetic for Solving Polynomial Constraints [PDF].
In Journal of Automated Reasoning, Volume 48, Number 1, January 2012.
© Springer


Roberto Asín Achá,
Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell.
Cardinality Networks: a Theoretical and Empirical Study [PDF].
In Constraints, Volume 16, Issue 2, April 2011.
© Springer


Javier Larrosa,
Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell.
A Framework for Certified Boolean Branch-and-Bound Optimization [PDF].
In Journal of Automated Reasoning, Volume 46, Issue 1, January 2011.
© Springer


Roberto Asín Achá,
Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell.
Practical algorithms for unsatisfiability proof and core generation in SAT solvers [PDF], [BibTex].
In AI Communications, Volume 23, Issue 2-3, March 2010.
© Elsevier Science


Marc Bezem,
Robert Nieuwenhuis, Enric Rodríguez-Carbonell.
Hard problems in max-algebra, control theory, hypergraphs and other areas [PDF], [BibTex].
In Information Processing Letters, Volume 110, Issue 4, January 2010.
© Elsevier Science


Marc Bezem,
Robert Nieuwenhuis, Enric Rodríguez-Carbonell.
Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra [PDF], [BibTex].
In Discrete Applied Mathematics, Volume 156, Issue 18, November 2008.
© Elsevier Science


Enric Rodríguez-Carbonell, Deepak Kapur.
Generating All Polynomial Invariants in Simple Loops [PS][PDF][BibTex].
In Journal of Symbolic Computation, Volume 42, Issue 4, April 2007.
© Elsevier Science


Enric Rodríguez-Carbonell, Deepak Kapur.
Automatic Generation of Polynomial Invariants of Bounded Degree using Abstract Interpretation [PS][PDF][BibTex].
In Science of Computer Programming, Volume 64, Issue 1, January 2007.
© Elsevier Science