Ignasi Abío

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