Journal
papers
Cristina
Borralleras, Daniel
Larraz, Enric Rodríguez-Carbonell, Albert Oliveras,
Albert Rubio:
Incomplete SMT Techniques for Solving Non-Linear Formulas
over the Integers [PDF].
ACM Transactions on Computational Logic, Volume 20, Number 4,
August 2019.
© ACM
Jordi Petit, Salvador Roura, Josep Carmona, Jordi Cortadella,
Amalia
Duch, Omer Giménez, Anaga Mani, Jan Mas, Enric
Rodríguez-Carbonell, Albert Rubio, Javier de San Pedro,
Divya Venkataramani:
Jutge.org: Characteristics and Experiences.
In
IEEE
Transactions on Learning Technologies, Volume
11, Issue 3, July-Sept. 1 2018.
© IEEE
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