| 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 | 98 | 2012 |
| A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints I Abío, R Nieuwenhuis, A Oliveras, E Rodrıguez-Carbonell | 75 | 2013 |
| Encoding linear constraints into SAT I Abío, PJ Stuckey International Conference on Principles and Practice of Constraint …, 2014 | 41 | 2014 |
| 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 | 28 | 2011 |
| Conflict Directed Lazy Decomposition I Abío, P Stuckey Principles and Practice of Constraint Programming, 70-85, 2012 | 24 | 2012 |
| 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 | 23 | 2016 |
| 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 | 21 | 2013 |
| 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 | 18 | 2015 |
| Solving hard industrial combinatorial problems with SAT I Abío Technical University of Catalonia (UPC), 2013 | 13 | 2013 |
| 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 | 11 | 2011 |
| The ultrametric space of plane branches I Abío, M Alberich-Carraminana, V González-Alonso Communications in algebra 39 (11), 4206-4220, 2011 | 7 | 2011 |
| 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 | 2 | 2015 |
| 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, ... | | |
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaE-mailová adresa ověřena na: cs.upc.edu
