关注
Ignasi Abío
Ignasi Abío
Postdoctoral Researcher of Computer Science at The Optimisation Research Group of NICTA
在 nicta.com.au 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
952012
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
I Abío, R Nieuwenhuis, A Oliveras, E Rodrıguez-Carbonell
742013
Encoding linear constraints into SAT
I Abío, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2014
402014
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
252011
Conflict Directed Lazy Decomposition
I Abío, P Stuckey
Principles and Practice of Constraint Programming, 70-85, 2012
232012
On CNF encodings of decision diagrams
I Abío, G Gange, V Mayer-Eichberger, PJ Stuckey
Integration of AI and OR Techniques in Constraint Programming: 13th …, 2016
222016
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
212013
Encoding linear constraints with implication chains to CNF
I Abío, V Mayer-Eichberger, PJ Stuckey
Principles and Practice of Constraint Programming: 21st International …, 2015
182015
Solving hard industrial combinatorial problems with SAT
I Abío
Technical University of Catalonia (UPC), 2013
122013
Reducing chaos in sat-like search: Finding solutions close to a given one
I Abío, M Deters, R Nieuwenhuis, PJ Stuckey
Theory and Applications of Satisfiability Testing-SAT 2011: 14th …, 2011
112011
The ultrametric space of plane branches
I Abío, M Alberich-Carraminana, V González-Alonso
Communications in algebra 39 (11), 4206-4220, 2011
72011
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
Aspectes geomètrics i dinàmics de transformacions racionals planes
I Abío Roig
2010
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, ...
系统目前无法执行此操作,请稍后再试。
文章 1–15