Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One. - Ignasi Abío; Morgan Deters; Robert Nieuwenhuis; Peter J. Stuckey (SAT, 2011)

BDDs for Pseudo-Boolean Constraints - Revisited. - Ignasi Abío; Robert Nieuwenhuis; Albert Oliveras; Enric Rodríguez-Carbonell (SAT, 2011)

Conflict Directed Lazy Decomposition. - Ignasi Abío; Peter J. Stuckey (CP, 2012)

A New Look at BDDs for Pseudo-Boolean Constraints. - Ignasi Abío; Robert Nieuwenhuis; Albert Oliveras; Enric Rodríguez-Carbonell; Valentin Mayer-Eichberger (J. Artif. Intell. Res., 2012)

A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. - Ignasi Abío; Robert Nieuwenhuis; Albert Oliveras; Enric Rodríguez-Carbonell (CP, 2013)

To Encode or to Propagate? The Best Choice for Each Constraint in SAT. - Ignasi Abío; Robert Nieuwenhuis; Albert Oliveras; Enric Rodríguez-Carbonell; Peter J. Stuckey (CP, 2013)

Encoding Linear Constraints into SAT. - Ignasi Abío; Peter J. Stuckey (CP, 2014)

Encoding Linear Constraints with Implication Chains to CNF. - Ignasi Abío; Valentin Mayer-Eichberger; Peter J. Stuckey (CP, 2015)

On CNF Encodings of Decision Diagrams. - Ignasi Abío; Graeme Gange; Valentin Mayer-Eichberger; Peter J. Stuckey (CPAIOR, 2016)

Encoding Linear Constraints into SAT. - Ignasi Abío; Valentin Mayer-Eichberger; Peter J. Stuckey (CoRR, 2020)