Ignasi Abo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
3
Active years
2011–2016
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CPAIOR | On CNF Encodings of Decision Diagrams. | Ignasi Abo, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey |
| 2015 | CP | Encoding Linear Constraints with Implication Chains to CNF. | Ignasi Abo, Valentin Mayer-Eichberger, Peter J. Stuckey |
| 2014 | CP | Encoding Linear Constraints into SAT. | Ignasi Abo, Peter J. Stuckey |
| 2013 | CP | A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2013 | CP | To Encode or to Propagate? The Best Choice for Each Constraint in SAT. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Peter J. Stuckey |
| 2012 | CP | Conflict Directed Lazy Decomposition. | Ignasi Abo, Peter J. Stuckey |
| 2011 | SAT | Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One. | Ignasi Abo, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey |
| 2011 | SAT | BDDs for Pseudo-Boolean Constraints - Revisited. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |