Ignasi Abío

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 3

Top Topics

Conflict Directed

Linear Constraints

Decision Diagrams

Top Venues

J. Artif. Intell. Res.

Publications

Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey
Encoding Linear Constraints into SAT. CoRR (2020)
Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey
On CNF Encodings of Decision Diagrams. CPAIOR (2016)
Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey
Encoding Linear Constraints with Implication Chains to CNF. CP (2015)
Ignasi Abío, Peter J. Stuckey
Encoding Linear Constraints into SAT. CP (2014)
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger
A New Look at BDDs for Pseudo-Boolean Constraints. CoRR (2014)
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey
To Encode or to Propagate? The Best Choice for Each Constraint in SAT. CP (2013)
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. CP (2013)
Ignasi Abío, Peter J. Stuckey
Conflict Directed Lazy Decomposition. CP (2012)
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger
A New Look at BDDs for Pseudo-Boolean Constraints. J. Artif. Intell. Res. 45 (2012)
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
BDDs for Pseudo-Boolean Constraints - Revisited. SAT (2011)
Ignasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey
Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One. SAT (2011)