| 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 | 390 | 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 | 289 | 2008 |
| Almost 2-SAT is fixed-parameter tractable I Razgon, B O'Sullivan Journal of Computer and System Sciences 75 (8), 435-450, 2009 | 168 | 2009 |
| Finding diverse and similar solutions in constraint programming E Hebrard, B Hnich, B O'Sullivan, T Walsh AAAI 5, 372-377, 2005 | 152 | 2005 |
| Constraint acquisition C Bessiere, F Koriche, N Lazaar, B O'Sullivan Artificial Intelligence 244, 315-342, 2017 | 136 | 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 | 124 | 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 | 121 | 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 | 111 | 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 | 104 | 2005 |
| The assessment list for trustworthy artificial intelligence (ALTAI) P Ala-Pietilä, Y Bonnet, U Bergmann, M Bielikova, C Bonefeld-Dahl, ... European Commission, 2020 | 102 | 2020 |
| 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 | 102 | 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 | 97 | 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 | 93* | 2018 |
| Search strategies for rectangle packing H Simonis, B O’Sullivan International Conference on Principles and Practice of Constraint …, 2008 | 92 | 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 | 91 | 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 | 88 | 2010 |
| Representative explanations for over-constrained problems B O'Sullivan, A Papadopoulos, B Faltings, P Pu AAAI 7, 323-328, 2007 | 88 | 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 | 87 | 2014 |
| 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 | 85 | 2016 |
Kenneth FordInstitute for Human & Machine Cognition在 ihmc.us 的电子邮件经过验证
