Barry O'Sullivan
Barry O'Sullivan
School of Computer Science & IT, University College Cork, Ireland
Verified email at - Homepage
Cited by
Cited by
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
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
Almost 2-SAT is fixed-parameter tractable
I Razgon, B O'Sullivan
Journal of Computer and System Sciences 75 (8), 435-450, 2009
Finding diverse and similar solutions in constraint programming
E Hebrard, B Hnich, B O'Sullivan, T Walsh
AAAI 5, 372-377, 2005
Constraint acquisition
C Bessiere, F Koriche, N Lazaar, B O'Sullivan
Artificial Intelligence 244, 315-342, 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
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
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
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
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
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
Minimising decision tree size as combinatorial optimisation
C Bessiere, E Hebrard, B O’Sullivan
International Conference on Principles and Practice of Constraint …, 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
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
Search strategies for rectangle packing
H Simonis, B O’Sullivan
International Conference on Principles and Practice of Constraint …, 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
Representative explanations for over-constrained problems
B O'Sullivan, A Papadopoulos, B Faltings, P Pu
AAAI 7, 323-328, 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
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
Query-Driven Constraint Acquisition.
C Bessiere, R Coletta, B O'Sullivan, M Paulin
IJCAI 7, 50-55, 2007
The system can't perform the operation now. Try again later.
Articles 1–20