Journal papers
Roberto Asín Achá,
Robert Nieuwenhuis,
Albert Oliveras
and Enric Rodríguez-Carbonell.
Cardinality Networks: a Theoretical and Empirical Study
[PDF].
In Constraints,
Volume 16, Issue 2, April 2011.
© Springer
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
Javier Larrosa,
Robert Nieuwenhuis,
Albert Oliveras
and 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
and 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 and 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 and 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
and 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
and 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