Ignasi Abío

According to our database, Ignasi Abío authored at least 10 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Encoding Linear Constraints into SAT.

Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey

CoRR, 2020

2016

On CNF Encodings of Decision Diagrams.

Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

2015

Encoding Linear Constraints with Implication Chains to CNF.

Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Encoding Linear Constraints into SAT.

Ignasi Abío, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 2014

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

Proceedings of the Principles and Practice of Constraint Programming, 2013

A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints.

Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell

Proceedings of the Principles and Practice of Constraint Programming, 2013

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

Conflict Directed Lazy Decomposition.

Ignasi Abío, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

BDDs for Pseudo-Boolean Constraints - Revisited.

Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One.

Ignasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011