A fixed-parameter algorithm for the directed feedback vertex set problem J Chen, Y Liu, S Lu, B O'sullivan, I Razgon Proceedings of the fortieth annual ACM symposium on Theory of computing, 177-186, 2008 | 382 | 2008 |
Using case-based reasoning in an algorithm portfolio for constraint solving E O’Mahony, E Hebrard, A Holland, C Nugent, B O’Sullivan Irish conference on artificial intelligence and cognitive science, 210-216, 2008 | 281 | 2008 |
Almost 2-SAT is fixed-parameter tractable I Razgon, B O'Sullivan Journal of Computer and System Sciences 75 (8), 435-450, 2009 | 165 | 2009 |
Finding diverse and similar solutions in constraint programming E Hebrard, B Hnich, B O'Sullivan, T Walsh AAAI 5, 372-377, 2005 | 148 | 2005 |
Constraint acquisition C Bessiere, F Koriche, N Lazaar, B O'Sullivan Artificial Intelligence 244, 315-342, 2017 | 131 | 2017 |
Finding small separators in linear time via treewidth reduction D Marx, B O'sullivan, I Razgon ACM Transactions on Algorithms (TALG) 9 (4), 1-35, 2013 | 120 | 2013 |
DISCUS: An end-to-end solution for ubiquitous broadband optical access M Ruffini, L Wosinska, M Achouche, J Chen, N Doran, F Farjady, ... IEEE communications magazine 52 (2), S24-S32, 2014 | 118 | 2014 |
Local search and constraint programming for the post enrolment-based course timetabling problem H Cambazard, E Hebrard, B O’Sullivan, A Papadopoulos Annals of Operations Research 194, 111-135, 2012 | 106 | 2012 |
A SAT-based version space algorithm for acquiring constraint satisfaction problems C Bessiere, R Coletta, F Koriche, B O’Sullivan European Conference on Machine Learning, 23-34, 2005 | 102 | 2005 |
Computational protein design as an optimization problem D Allouche, I André, S Barbe, J Davies, S de Givry, G Katsirelos, ... Artificial Intelligence 212, 59-79, 2014 | 100 | 2014 |
Creating personalized documents: an optimization approach L Purvis, S Harrington, B O'Sullivan, EC Freuder Proceedings of the 2003 ACM symposium on Document engineering, 68-77, 2003 | 98 | 2003 |
Minimising decision tree size as combinatorial optimisation C Bessiere, E Hebrard, B O’Sullivan International Conference on Principles and Practice of Constraint …, 2009 | 93 | 2009 |
Semi-online task assignment policies for workload consolidation in cloud computing systems V Armant, M De Cauwer, KN Brown, B O’Sullivan Future Generation Computer Systems 82, 89-103, 2018 | 90* | 2018 |
Search strategies for rectangle packing H Simonis, B O’Sullivan International Conference on Principles and Practice of Constraint …, 2008 | 90 | 2008 |
Approximate compilation of constraints into multivalued decision diagrams T Hadzic, JN Hooker, B O’Sullivan, P Tiedemann International Conference on Principles and Practice of Constraint …, 2008 | 88 | 2008 |
Constraint programming and combinatorial optimisation in numberjack E Hebrard, E O’Mahony, B O’Sullivan International Conference on Integration of Artificial Intelligence (AI) and …, 2010 | 87 | 2010 |
Representative explanations for over-constrained problems B O'Sullivan, A Papadopoulos, B Faltings, P Pu AAAI 7, 323-328, 2007 | 85 | 2007 |
Proteus: A hierarchical portfolio of solvers and transformations B Hurley, L Kotthoff, Y Malitsky, B O’Sullivan Integration of AI and OR Techniques in Constraint Programming: 11th …, 2014 | 84 | 2014 |
Query-Driven Constraint Acquisition. C Bessiere, R Coletta, B O'Sullivan, M Paulin IJCAI 7, 50-55, 2007 | 83 | 2007 |
Multi-language evaluation of exact solvers in graphical model discrete optimization B Hurley, B O’sullivan, D Allouche, G Katsirelos, T Schiex, M Zytnicki, ... Constraints 21, 413-434, 2016 | 82 | 2016 |