Ignasi Abío
Ignasi Abío
Postdoctoral Researcher of Computer Science at The Optimisation Research Group of NICTA
Verified email at nicta.com.au - Homepage
TitleCited byYear
A New Look at BDDs for Pseudo-Boolean Constraints
I Abıo, R Nieuwenhuis, A Oliveras, E Rodrıguez-Carbonell, ...
Journal of Artificial Intelligence Research 45, 443-480, 2012
502012
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
I Abío, R Nieuwenhuis, A Oliveras, E Rodrıguez-Carbonell
412013
Conflict Directed Lazy Decomposition
I Abío, P Stuckey
Principles and Practice of Constraint Programming, 70-85, 2012
202012
Encoding linear constraints into SAT
I Abío, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2014
162014
BDDs for pseudo-Boolean constraints–revisited
I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
International Conference on Theory and Applications of Satisfiability …, 2011
142011
To Encode or to Propagate? The Best Choice for Each Constraint in SAT
I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, P Stuckey
SAT 1, 06, 2013
132013
Reducing chaos in SAT-like search: Finding solutions close to a given one
I Abío, M Deters, R Nieuwenhuis, PJ Stuckey
International conference on theory and applications of satisfiability …, 2011
92011
Encoding linear constraints with implication chains to CNF
I Abío, V Mayer-Eichberger, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2015
72015
Solving hard industrial combinatorial problems with SAT
I Abío
Technical University of Catalonia (UPC), 2013
7*2013
The ultrametric space of plane branches
I Abío, M Alberich-Carraminana, V González-Alonso
Communications in Algebra 39 (11), 4206-4220, 2011
62011
On CNF encodings of decision diagrams
I Abío, G Gange, V Mayer-Eichberger, PJ Stuckey
International Conference on AI and OR Techniques in Constriant Programming …, 2016
52016
There’s more than one way to solve a long-haul transportation problem
P Kilby, DG Ignasi Abío, D Harabor, P Haslum, V Mayer-Eichberger, ...
Fourth meeting of the EURO Working Group on Vehicle Routing and Logistics …, 2015
22015
Classification of plane germs: metric and valorative properties
I Abío
Universitat Politècnica de Catalunya, 2009
2009
Special Track on SAT and CSP Technologies Additional Reviewers
C Michel, E Ness, N Schwind, J Argelich, S Loudni, I Abío, N Gharbi, ...
The system can't perform the operation now. Try again later.
Articles 1–14