Research Profile

Barry O'Sullivan

Biography

Professor (Chair of Constraint Programming)
Director Insight Centre for Data Analytics, UCC
Director, SFI Centre for Research Training on Artificial Intelligence

                         
Professor Barry O'Sullivan, FEurAI, FIAE, FICS, MRIA, is an award-winning academic working in the fields of artificial intelligence, constraint programming, operations research, ethics, and public policy. He also contributes to various Track II diplomacy efforts related to AI and applications of consequence at geopolitical and economic levels.

Professor O’Sullivan is a full professor at the School of Computer Science & IT at University College Cork. He is the founding Director of the Insight Centre for Data Analytics at UCC, Principal Investigator at the Confirm Centre for Smart Manufacturing, and Director of the SFI Centre for Research Training in AI. He is an Adjunct Professor at Monash University, Australia.

In July 2018 Professor O'Sullivan was appointed Vice Chair of the European Commission High-Level Expert Group on AI, supporting Pekka Ala-Pietilä, former President of Nokia, as Chair. In 2019 the HLEG-AI published: Ethics Guidelines for Trustworthy AI (April) and Policy & Investment Recommendations for Trustworthy AI (June). In 2019 he joined the Scientific Board of AI Watch, an initiative of the European Commission's Joint Research Centre tasked with monitoring the uptake of AI in Europe. In 2020 he was elected a member of the Executive Council of the Association for the Advancement of Artificial Intelligence (AAAI).

Professor O'Sullivan is a Fellow and current President of the European AI Association (EurAI). He is a member of the Executive Board of AI4EU the European AI-on-demand Platform. He advises the the Leuven.ai institute at KULeuven (Belgium), the AI Alliance in The Netherlands (ALLAI) and the Computational Sustainability Network, a network of universities in the USA, led by Cornell, involving Princeton, Stanford, CMU, Georgia Tech, and others.

He has received UCC’s Leadership Award (2013) and the ACP Distinguished Service Award (2014). He was Science Foundation Ireland Researcher of the Year (2016), UCC Researcher of the Year (2017), and elected member of the Royal Irish Academy (2017), Ireland’s highest academic accolade. He is a Fellow of the Irish Computer Society (2018) and the Irish Academy of Enginering (2019). In 2019 he was appointed by the Minister for Health to the Health Research Consent Declaration Committee. He received the IPEC-EATCS Nerode Prize (2020) for his work on parameterised complexity which has been published in the Journal of the ACM.

Professor O’Sullivan has been involved in winning over €300m in R&D funding, of which €50m has supported him and his group at UCC.

Research Interests

My main area of research interest is data analytics, artificial intelligence, constraint programming, operations research, combinatorial optimisation, and applications to real world problems. I am also interested in theoretical computer science, in particular parameterised complexity and its applications.

While, most of my work is in the area of constraint programming, I also like to combine techniques from the field of machine learning and formal methods with constraint and satisfiability solving techniques. Specific application domains I am interested in include: cancer care, health, transportation, environmental sustainability, computer/network security, configuration, design, telecommunications, combinatorial auctions and electronic commerce.


Publications

Peer Reviewed Journals

 YearPublication
(2022)'Regular pattern-free coloring'
Escamocher, Guillaume; O’Sullivan, Barry (2022) 'Regular pattern-free coloring'. Discrete Applied Mathematics, 321 :109-125   [DOI] [Full Text] [Details]
(2022)'A two-phase hybrid approach for the hybrid flexible flowshop with transportation times'
Armstrong, Eddie; Garraffa, Michele; O’Sullivan, Barry; Simonis, Helmut (2022) 'A two-phase hybrid approach for the hybrid flexible flowshop with transportation times'. Lecture Notes In Computer Science, 13292 :1-13 [DOI] [Full Text] [Details]
(2022)'MILP-based local search procedures for minimizing total tardiness in the No-idle Permutation Flowshop Problem'
Balough, Andrea; Garraffa, Michele; O’Sullivan, Barry; Salassa, Fabio (2022) 'MILP-based local search procedures for minimizing total tardiness in the No-idle Permutation Flowshop Problem'. Computers & Operations Research, 146   [DOI] [Full Text] [Details]
(2021)'Leprechauns on the chessboard'
Escamocher, Guillaume; O’Sullivan, Barry (2021) 'Leprechauns on the chessboard'. Discrete Mathematics, 344 (5) [DOI] [Full Text] [Details]
(2021)'An adaptive large neighbourhood search algorithm for diameter bounded network design problems'
Garraffa, Michele; Mehta, Deepak; O’Sullivan, Barry; Ozturk, Cemalettin; Quesada, Luis (2021) 'An adaptive large neighbourhood search algorithm for diameter bounded network design problems'. Journal of Heuristics, [DOI] [Full Text] [Details]
(2021)'Classifier-based constraint acquisition'
Prestwich, Steven D.; Freuder, Eugene C.; O'Sullivan, Barry; Browne, David (2021) 'Classifier-based constraint acquisition'. Annals of Mathematics and Artificial Intelligence, [DOI] [Full Text] [Details]
(2020)'Quantitatively Measuring Privacy in Interactive Query Settings Within RDBMS Framework'
Khan, Muhammad Imran; Foley, Simon N.; O'Sullivan, Barry (2020) 'Quantitatively Measuring Privacy in Interactive Query Settings Within RDBMS Framework'. Frontiers In Big Data, 3 (11)   [DOI] [Full Text] [Details]
(2020)'Assigning and scheduling service visits in a mixed urban/rural setting'
Antunes, Mark; Armant, Vincent; Brown, Kenneth N.; Desmond, Daniel; Escamocher, Guillaume; George, Anne-Marie; Grimes, Diarmuid; O’Keeffe, Mike; Lin, Yiqing; O’Sullivan, Barry; Ozturk, Cemalettin; Quesada, Luis; Siala, Mohamed; Simonis, Helmut; Wilson, Nic (2020) 'Assigning and scheduling service visits in a mixed urban/rural setting'. International Journal On Artificial Intelligence Tools, 29 (3-4) [DOI] [Full Text] [Details]
(2020)'Generating difficult CNF instances in unexplored constrainedness regions'
Escamocher, Guillaume; O'Sullivan, Barry; Prestwich, Steven David (2020) 'Generating difficult CNF instances in unexplored constrainedness regions'. Acm Journal Of Experimental Algorithmics, 25 :1-12 [DOI] [Full Text] [Details]
(2019)'Candidate Selection and Instance Ordering for Realtime Algorithm Configuration'
Fitzgerald, Tadhg; O'Sullivan, Barry (2019) 'Candidate Selection and Instance Ordering for Realtime Algorithm Configuration'. Fundamenta Informaticae, 166 :141-166   [DOI] [Full Text] [Details]
(2019)'Combinatorial search from an energy perspective'
Siala, Mohamed; O'Sullivan, Barry (2019) 'Combinatorial search from an energy perspective'. Information Processing Letters, 148 :23-27 [DOI] [Full Text] [Details]
(2018)'Semi-online task assignment policies for workload consolidation in cloud computing systems'
Armant, Vincent; Cauwer, Milan De; Brown, Kenneth N.; O’Sullivan, Barry (2018) 'Semi-online task assignment policies for workload consolidation in cloud computing systems'. Future Generation Computer Systems,   [DOI] [Full Text] [Details]
(2017)'Preference Inference Based on Hierarchical and Simple Lexicographic Models'
Nic Wilson, Anne-Marie George and Barry O’Sullivan (2017) 'Preference Inference Based on Hierarchical and Simple Lexicographic Models'. Journal Of Applied Logics-Ifcolog Journal Of Logics And Their Applications, [Full Text] [Details]
(2016)'Extrapolating from Limited Uncertain Information in Large-Scale Combinatorial Optimization Problems to Obtain Robust Solutions'
Climent, Laura; Wallace, Richard J.; O'Sullivan, Barry; Freuder, Eugene C. (2016) 'Extrapolating from Limited Uncertain Information in Large-Scale Combinatorial Optimization Problems to Obtain Robust Solutions'. International Journal On Artificial Intelligence Tools, 25 (01) [DOI] [Full Text] [Details]
(2018)'Pushing the frontier of minimality'
Escamocher, Guillaume; O'Sullivan, Barry (2018) 'Pushing the frontier of minimality'. Theoretical Computer Science,   [DOI] [Full Text] [Details]
(2017)'The ICON Challenge on Algorithm Selection'
Kotthoff, Lars; Hurley, Barry; O’Sullivan, Barry (2017) 'The ICON Challenge on Algorithm Selection'. Ai Magazine, 38 (2)   [DOI] [Full Text] [Details]
(2017)'A Constraint-based Parallel Local Search for the Edge-Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem'
Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan and Luis Quesada (2017) 'A Constraint-based Parallel Local Search for the Edge-Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem'. Journal of Heuristics, [Details]
(2015)'A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks'
Quesada, Luis; Sitanayah, Lanny; Brown, Kenneth N.; O’Sullivan, Barry; Sreenan, Cormac J. (2015) 'A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks'. Constraints, 20 (4):433-451 [DOI] [Full Text] [Details]
(2014)'A Constraint-Based Dental School Timetabling System'
Hadrien Cambazard and Barry O'Sullivan and Helmut Simonis (2014) 'A Constraint-Based Dental School Timetabling System'. Ai Magazine, 35 (1):53-63 [Details]
(2012)'Deployment Strategies for Protected Long-Reach PON'
Rufini, M; Mehta, D; O'Sullivan, B; Quesada, L; Doyle, L; Payne, D (2012) 'Deployment Strategies for Protected Long-Reach PON'. Journal Of Optical Communications And Networking, [Details]
(2009)'Almost 2-SAT is fixed-parameter tractable'
Razgon, Igor and O'Sullivan, Barry (2009) 'Almost 2-SAT is fixed-parameter tractable'. Journal of Computer and System Sciences, 75 (8):435-450 [Details]
(2008)'A Unifying Framework For Generalized Constraint Acquisition'
Vu, XH, O'Sullivan, B; (2008) 'A Unifying Framework For Generalized Constraint Acquisition'. International Journal On Artificial Intelligence Tools, 17 (5):803-833 [DOI] [Details]
(2014)'Computational protein design as an optimization problem'
David Allouche and Isabelle André and Sophie Barbe and Jessica Davies and Simon de Givry and George Katsirelos and Barry O'Sullivan and Steven David Prestwich and Thomas Schiex and Seydou Traoré (2014) 'Computational protein design as an optimization problem'. Artificial Intelligence, 212 :59-79 [DOI] [Details]
(2014)'DISCUS: an end-to-end solution for ubiquitous broadband optical'
Marco Ruffini and Lena Wosinska and Mohand Achouche and Jiajia Chen and N. J. Doran and Farsheed Farjady and J. Montalvo and Peter Ossieur and Barry O'Sullivan and N. Parsons and T. Pfeiffer and Xing-Zhi Qiu and Christian Raack and H. Rohde and M. Schiano and Paul D. Townsend and Roland Wessaly and Xin Yin and David B. Payne (2014) 'DISCUS: an end-to-end solution for ubiquitous broadband optical'. Ieee Communications Magazine, 52 (2):24-56 [DOI] [Details]
(2014)'Grand challenges for constraint programming'
Freuder, Eugene C,O’Sullivan, Barry (2014) 'Grand challenges for constraint programming'. Constraints, 19 (2):150-162 [DOI] [Details]
(2014)'Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence'
Michela Milano and Barry O'Sullivan and Marco Gavanelli (2014) 'Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence'. Ai Magazine, 35 (3):22-35 [Details]
(2014)'Analyzing the impact of electricity price forecasting on energy cost-aware scheduling'
Diarmuid Grimes, Georgiana Ifrim, Barry O’Sullivan, Helmut Simonis (2014) 'Analyzing the impact of electricity price forecasting on energy cost-aware scheduling'. Sustainable Computing: Informatics & Systems, 4 (4):276-291 [DOI] [Details]
(2014)'Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development'
Michela Milano and Barry O'Sullivan and Martin Sachenbacher (2014) 'Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development'. IEEE Transactions on Computers, 63 (1):88-89 [DOI] [Details]
(2013)'The AAAI-13 Conference Workshops'
Vikas Agrawal, Christopher Archibald, Mehul Bhatt, Hung Hai Bui, Diane J. Cook, Juan Cortés, Christopher W. Geib, Vibhav Gogate, Hans W. Guesgen, Dietmar Jannach, Michael Johanson, Kristian Kersting, George Konidaris, Lars Kotthoff, Martin Michalowski, Sriraam Natarajan, Barry O'Sullivan, Marc Pickett, Vedran Podobnik, David Poole, Lokendra Shastri, Amarda Shehu, Gita Sukthankar (2013) 'The AAAI-13 Conference Workshops'. Ai Magazine, 34 (4):9-9 [DOI] [Details]
(2013)'Finding small separators in linear time via treewidth reduction'
Dániel Marx, Barry O'Sullivan, Igor Razgon (2013) 'Finding small separators in linear time via treewidth reduction'. Acm Transactions On Algorithms, 9 (4) [DOI] [Details]
(2012)'A shortest path-based approach to the multileaf collimator sequencing problem'
Hadrien Cambazard and Eoin O'Mahony and Barry O'Sullivan (2012) 'A shortest path-based approach to the multileaf collimator sequencing problem'. Discrete Applied Mathematics, 160 (1-2):81-99 [DOI] [Details]
(2012)'Local search and constraint programming for the post enrolment-based course timetabling problem'
Hadrien Cambazard, Emmanuel Hebrard, Barry O'Sullivan, Alexandre Papadopoulos (2012) 'Local search and constraint programming for the post enrolment-based course timetabling problem'. Annals of Operations Research, 194 (1):111-135 [DOI] [Details]
(2011)'Soft Constraints of Difference and Equality'
Hebrard, Emmanuel and Marx, Daniel and O'Sullivan, Barry and Razgon, Igor (2011) 'Soft Constraints of Difference and Equality'. Journal of Artificial Intelligence Research, 41 :97-130 [DOI] [Details]
(2011)'Reasoning about conditional constraint specification problems and feature models'
Finkel, Raphael and O'Sullivan, Barry (2011) 'Reasoning about conditional constraint specification problems and feature models'. Ai Edam (Artificial Intelligence For Engineering Design, Analysis and Manufacturing), 25 (2):163-174 [DOI] [Details]
(2011)'Domino portrait generation: A fast and scalable approach'
Cambazard, H., Horan, J., O'Mahony, E., O'Sullivan, B. (2011) 'Domino portrait generation: A fast and scalable approach'. Annals of Operations Research, 184 (1):79-95   [DOI] [Details]
(2010)'Erratum: Reformulating table constraints using functional dependencies-an application to explanation generation (Constraints (2008) 13: 3 (385-406))'
Cambazard, H., O'Sullivan, B. (2010) 'Erratum: Reformulating table constraints using functional dependencies-an application to explanation generation (Constraints (2008) 13: 3 (385-406))'. Constraints, 15 (1):145-147   [Details]
(2010)'Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria'
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini (2010) 'Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria'. Security and Communication Networks, 3 (6):595-610 [DOI] [Details]
(2010)'Local search and constraint programming for the post enrolment-based course timetabling problem'
Cambazard, H., Hebrard, E., O'Sullivan, B., Papadopoulos, A. (2010) 'Local search and constraint programming for the post enrolment-based course timetabling problem'. Annals of Operations Research, :1-25   [Details]
(2010)'Developing Approaches for Solving a Telecommunications Feature Subscription Problem'
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, and Nic Wilson (2010) 'Developing Approaches for Solving a Telecommunications Feature Subscription Problem'. Journal of Artificial Intelligence Research, 38 :271-305 [DOI] [Full Text] [Details]
(2009)'A unifying framework for generalized constraint acquisition'
Vu, X.-H., O'Sullivan, B. (2009) 'A unifying framework for generalized constraint acquisition'. International Journal On Artificial Intelligence Tools, 17 (5):803-833   [DOI] [Details]
(2009)'A constraint-based approach to Enigma 1225'
Cambazard, Hadrien; O'Sullivan, Barry; Smith, Barbara M; (2009) 'A constraint-based approach to Enigma 1225'. Computer and Mathematics with Applications, 58 (8):1487-1497 [DOI] [Details]
(2008)'Reformulating table constraints using functional dependencies-an application to explanation generation'
Cambazard, H., O'Sullivan, B. (2008) 'Reformulating table constraints using functional dependencies-an application to explanation generation'. Constraints, 13 (3):385-406   [DOI] [Details]
(2008)'A Fixed-Parameter Algorithm for the Directed Feedback Vertex Set Problem'
Chen, Jianer and Liu, Yang and Lu, Songjian and O'Sullivan, Barry and Razgon, Igor (2008) 'A Fixed-Parameter Algorithm for the Directed Feedback Vertex Set Problem'. Journal of The ACM, 55 (5) [DOI] [Details]
(2007)'Explanation in product configuration'
Haag, Albert and Junker, Ulrich and O'Sullivan, Barry (2007) 'Explanation in product configuration'. Ieee Intelligent Systems, 22 (1):83-85 [Details]
(2006)'Introduction to the special issue on principles and practice of Constraint Programming (CP 2005)'
O'Sullivan, B.a , Van Beek, P.b (2006) 'Introduction to the special issue on principles and practice of Constraint Programming (CP 2005)'. Constraints, 11 (2-3):83-84   [Details]
(2006)'Special issue: Constraints and design'
O'Sullivan, Barry (2006) 'Special issue: Constraints and design'. Ai Edam-Artificial Intelligence for Engineering Design Analysis and Manufacturing, 20 (4):295-295 [Details]
(2006)'The impact of search heuristics on heavy-tailed behaviour'
Hulubei, Tudor and O'Sullivan, Barry (2006) 'The impact of search heuristics on heavy-tailed behaviour'. Constraints, 11 (2-3):159-178 [Details]
(2005)'A soft constraint-based approach to the cascade vulnerability problem'
Bistarelli, S.a b , Foley, S.N.c , O'Sullivan, B.d (2005) 'A soft constraint-based approach to the cascade vulnerability problem'. Journal of Computer Security, 13 (5):699-720   [Details]
(2004)'Introduction to the special issue on user-interaction in constraint satisfaction'
O'Sullivan, B. (2004) 'Introduction to the special issue on user-interaction in constraint satisfaction'. Constraints, 9 (4):239-240   [Details]
(2004)'Towards fast Vickrey pricing using constraint programming'
Holland, A., O'Sullivan, B. (2004) 'Towards fast Vickrey pricing using constraint programming'. Artificial Intelligence Review, 21 (3):335-352   [Details]
(2002)'Interactive constraint-aided conceptual design'
O'Sullivan, B. (2002) 'Interactive constraint-aided conceptual design'. Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM, 16 (4):303-328   [Details]

Books

 YearPublication
(2001)Constraint Aided Conceptual Design.
O'Sullivan, B.; (2001) Constraint Aided Conceptual Design. UK: Wiley. [Details]

Edited Books

 YearPublication
(2014)ECAI 2014 - 21st European Conference on Artificial Intelligence
Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan (Ed.). (2014) ECAI 2014 - 21st European Conference on Artificial Intelligence ECAI 2014 - 21st European Conference on Artificial Intelligence. Amsterdam: IOS Press. [Details]
(2014)Principles and Practice of Constraint Programming - 20th International Conference, CP 2014
Barry O'Sullivan (Ed.). (2014) Principles and Practice of Constraint Programming - 20th International Conference, CP 2014 Principles and Practice of Constraint Programming - 20th International Conference, CP 2014. Germany: Springer. [Details]
(2011)Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Javier Larrosa and Barry O'Sullivan (Ed.). (2011) Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers. Germany: Springer. [DOI] [Details]
(2007)Trends in Constraint Programming
Frédéric Benhamou, Narendra Jussien, Barry A. O'Sullivan (Ed.). (2007) Trends in Constraint Programming Trends in Constraint Programming. France: Wiley-ISTE. [Details]
(2002)Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002
Barry O'Sullivan (Ed.). (2002) Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Germany: Springer. [Details]

Conference Publications

 YearPublication
(2021)ICTAI 2021: IEEE International Conference on Tools with Artificial Intelligence
Dalla, Marco; Visentin, Andrea; O'Sullivan, Barry (2021) Automated SAT Problem Feature Extraction using Convolutional Autoencoders ICTAI 2021: IEEE International Conference on Tools with Artificial Intelligence Virtual event, , 01-NOV-21 - 03-NOV-21 [Full Text] [Details]
(2021)AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society
Leavy, Susan; Siapera, Eugenia; O'Sullivan, Barry (2021) Ethical Data Curation for AI: An Approach based on Feminist Epistemology and Critical Theories of Race AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society , pp.695-703 [DOI] [Full Text] [Details]
(2021)27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
Armstrong, Eddie; Garraffa, Michele; O’Sullivan, Barry; Simonis, Helmut (2021) The hybrid flexible flowshop with transportation times 27th International Conference on Principles and Practice of Constraint Programming (CP 2021) Montpellier, France, , 25-OCT-21 - 29-OCT-21 , pp.1-18 [DOI] [Full Text] [Details]
(2021)IJCAI 2021: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence
Dev Gupta, Sharmi; Genc, Begum; O'Sullivan, Barry (2021) Explanation in Constraint Satisfaction: A Survey IJCAI 2021: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence Montreal, Canada. Virtual Event, , 17-AUG-21 - 27-AUG-21 , pp.4400-4407 [DOI] [Full Text] [Details]
(2020)Procedia Computer Science
Khan, Muhammad Imran; Foley, Simon N.; O’Sullivan, Barry (2020) Towards privacy-anomaly detection: Discovering correlation between privacy and security-anomalies Procedia Computer Science Leuven, Belgium, , 09-SEP-20 - 12-AUG-20 , pp.331-339 [DOI] [Full Text] [Details]
(2019)CPAIOR 2019: Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Genc, Begum; Siala, Mohamed; Simonin, Gilles; O'Sullivan, Barry (2019) An approach to robustness in the Stable Roommates problem and its comparison with the Stable Marriage problem CPAIOR 2019: Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research Thessaloniki, Greece, , 04-JUN-19 - 07-JUN-19 , pp.1-16   [Full Text] [Details]
(2018)2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)
Chisca, Danuta; Lombardi, Michele; Milano, Michela; O'Sullivan, Barry (2018) From offline to online kidney exchange optimization 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI) Volos, Greece, , 05-NOV-18 - 07-NOV-18 , pp.587-591   [DOI] [Full Text] [Details]
(2018)30th International Conference on Tools with Artificial Intelligence (ICTAI 2018)
Escamocher, Guillaume; O'Sullivan, Barry (2018) Constrainedness in stable matching 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018) Volos, Greece, , 05-NOV-18 - 07-NOV-18 , pp.710-717   [DOI] [Full Text] [Details]
(2018)CPAIOR 2018: International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations
Escamocher, Guillaume: O’Sullivan, Barry: (2018) Three-Dimensional Matching Instances Are Rich in Stable Matchings . In: van Hoeve, W. J eds. CPAIOR 2018: International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Delft, Netherlands, , 26-JUN-18 - 29-JUN-18 , pp.182-197   [DOI] [Full Text] [Details]
(2017)2017 IEEE International Conference on Tools for Artificial Intelligence (ICTAI)
Huang, Hong; Climent, Laura; O'Sullivan, Barry (2017) Acquiring Local Preferences of Weighted Partial MaxSAT 2017 IEEE International Conference on Tools for Artificial Intelligence (ICTAI) Boston, MA, USA, , 06-NOV-11 - 08-NOV-11 , pp.1065-1072 [DOI] [Full Text] [Details]
(2016)Learning and Intelligent Optimization. LION 2016. Lecture Notes in Computer Science
Climent, Laura; O'Sullivan, Barry; Prestwich, Steven D. (2016) Bounding the Search Space of the Population Harvest Cutting Problem with Multiple Size Stock Selection . In: Festa, P; Sellmann, M.; Vanschoren, J eds. Learning and Intelligent Optimization. LION 2016. Lecture Notes in Computer Science Ischia, Italy, , 29-MAY-16 - 01-JUN-16 , pp.75-90 [DOI] [Full Text] [Details]
(2016)International Symposium on Combinatorial Search: Ninth Annual Symposium on Combinatorial Search
Climent, Laura; O'Sullivan, Barry; Wallace, Richard J. (2016) An Improved Metaheuristic Algorithm for Maximizing Demand Satisfaction in the Population Harvest Cutting Stock Problem International Symposium on Combinatorial Search: Ninth Annual Symposium on Combinatorial Search Tarrytown, New York, USA, , 06-JUL-16 - 08-JUL-18 , pp.127-128 [Full Text] [Details]
(2016)IJCAI 2016
Anne-Marie George, Nic Wilson, Barry O'Sullivan (2016) Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models IJCAI 2016 [Full Text] [Details]
(2015)IJCAI 2015
Nic Wilson, Anne-Marie George and Barry O’Sullivan (2015) Computation and Complexity of Preference Inference Based on Hierarchical Models IJCAI 2015 [Full Text] [Details]
(2015)ECML PKDD 2015: Machine Learning and Knowledge Discovery in Databases, LCNS vol. 9284
Prestwich, Steven D.; Fajemisin, Adejuyigbe O.; Climent, Laura; O'Sullivan, Barry (2015) Solving a Hard Cutting Stock Problem by Machine Learning and Optimisation ECML PKDD 2015: Machine Learning and Knowledge Discovery in Databases, LCNS vol. 9284 Porto, Portugal, , 07-SEP-15 - 11-SEP-15 , pp.335-347 [DOI] [Full Text] [Details]
(2014)ICTAI 2014
Laura Climent, Richard J. Wallace, Barry O'Sullivan, Eugene C. Freuder (2014) Extrapolating from Limited Uncertain Information to Obtain Robust Solutions for Large-Scale Optimization Problems ICTAI 2014 , pp.898-905 [Details]
(2013)IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI)
Quesada, Luis; Brown, Kenneth N.; O’Sullivan, Barry; Sitanayah, Lanny; Sreenan, Cormac J. (2013) A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) Washington DC, USA, , 04-NOV-13 - 06-NOV-13 , pp.1052-1059 [DOI] [Full Text] [Details]
(2018)CPAIOR 2018: International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Escamocher, Guillaume; Siala, Mohamed; O’Sullivan, Barry (2018) From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP CPAIOR 2018: International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research Delft, Netherlands, , 26-JUN-18 - 29-JUN-18 , pp.198-214 [DOI] [Full Text] [Details]
(2017)CPAIOR 2017: Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming
Wahbi, Mohamed; Grimes, Diarmuid; Mehta, Deepak; Brown, Kenneth N.; O’Sullivan, Barry (2017) A Distributed Optimization Method for the Geographically Distributed Data Centres Problem . In: Salvagnin D.; Lombardi M eds. CPAIOR 2017: Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming Padova, Italy, , 06-JUN-17 - 08-JUN-17 , pp.147-166   [DOI] [Full Text] [Details]
(2017)Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17)
Genc, Begum; Siala, Mohamed; Simonin, Gilles; O’Sullivan, Barry; (2017) Finding Robust Solutions to Stable Marriage . In: Sierra, Carles eds. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17) Melbourne, Australia, , 19-AUG-17 - 25-AUG-17 , pp.631-637 [DOI] [Full Text] [Details]
(2017)ICTAI 2017: The annual IEEE International Conference on Tools with Artificial Intelligence
Chisca, Danuta Sorina; Siala, Mohamed; Simonin, Gilles; O'Sullivan, Barry (2017) New Models for Two Variants of Popular Matching ICTAI 2017: The annual IEEE International Conference on Tools with Artificial Intelligence Boston, MA, USA, , 06-NOV-17 - 08-NOV-17 [Full Text] [Details]
(2016)International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR'16)
Mohamed Siala and Barry O'Sullivan (2016) Revisiting Two-Sided Stability Constraints International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR'16) [Full Text] [Details]
(2016)2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
Genc, Begum; O'Sullivan, Barry (2016) Improving navigation in critique graphs 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) San Jose, CA, USA, , 06-NOV-16 - 08-NOV-16 , pp.134-141 [DOI] [Full Text] [Details]
(2016)20th International Conference on Optical network Design and Modeling
Alejandro Arbelaez, Deepak Mehta, Luis Quesada, Barry O'Sullivan (2016) Comparing Tree and Chain Topologies for Designing Resilient Backhaul Access Network 20th International Conference on Optical network Design and Modeling [Details]
(2016)2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
Sacanamboy, Maribell; Quesada, Luis; Bolanos, Freddy; Bernal, Alvaro; O'Sullivan, Barry (2016) A comparison between two optimisation alternatives for mapping in wireless network on chip 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) San Jose, CA, USA, , 06-NOV-16 - 08-NOV-16 , pp.938-945 [DOI] [Full Text] [Details]
(2016)2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
Arbelaez, Alejandro; Truchet, Charlotte; O'Sullivan, Barry (2016) Learning sequential and parallel runtime distributions for randomized algorithms 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) San Jose, CA, USA, , 06-NOV-16 - 08-NOV-16 , pp.655-662 [DOI] [Full Text] [Details]
(2016)Photonic Networks and Devices 2016
Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Helmut Simonis (2016) On the Design and Dimensioning of a Transparent Optical Core Network Photonic Networks and Devices 2016 [Details]
(2015)International Conference on Transparent Optical Networks
Alejandro Arbelaez, Deepak Mehta, Barry O’Sullivan, Cemalettin Ozturk, Luis Quesada (2015) A Scalable Approach for Computing Distance-Bounded Node-Disjoint Paths in Optical Networks International Conference on Transparent Optical Networks [Details]
(2015)7th International Workshop on Reliable Network Design and Modelling (RNDM 2015)
Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada (2015) A Constraint-based Local Search for Designing Tree Networks with Distance and Disjoint Constraints 7th International Workshop on Reliable Network Design and Modelling (RNDM 2015) [Details]
(2015)Computing Distance-Bounded Node-Disjoint Paths for All Pairs of Nodes - An Application to Optical Core Network Design
Deepak Mehta, Barry O’Sullivan, Cemalettin Ozturk, Luis Quesada (2015) 7th International Workshop on Reliable Networks Design and Modeling Computing Distance-Bounded Node-Disjoint Paths for All Pairs of Nodes - An Application to Optical Core Network Design [Details]
(2015)International Conference on the Design of Reliable Communication Networks
Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada (2015) Optimising Dual Homing for Long-reach Passive Optical Networks International Conference on the Design of Reliable Communication Networks [Details]
(2015)The 13th International Conference on Telecommunications
Deepak Mehta, Barry O’Sullivan, Cemalettin Ozturk, Luis Quesada (2015) An Adaptive Large Neighbourhood Search for Designing Transparent Optical Core Network The 13th International Conference on Telecommunications [Details]
(2015)SEB'15: 7th International Conference on Sustainability in Energy and Buildings
Trabelsi, Walid and Brown, Kenneth N and O'Sullivan, Barry (2015) Preference Elicitation and Reasoning While Smart Shifting Of Home Appliances SEB'15: 7th International Conference on Sustainability in Energy and Buildings [Details]
(2015)Theoretical Aspects of Computing - ICTAC 2015
Deepak Mehta, Barry O'Sullivan, Luis Quesada (2015) Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems Theoretical Aspects of Computing - ICTAC 2015 [Details]
(2015)COCOA 2015
Guillaume Escamocher, Barry O'Sullivan (2015) On the Minimal Constraint Satisfaction Problem: Complexity and Generation COCOA 2015 [Details]
(2015)CPAIOR
Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada (2015) A Constraint-based Local Search for Edge Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem CPAIOR [Details]
(2014)26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014
David Lesaint and Deepak Mehta and Barry O'Sullivan and Vincent Vigneron (2014) A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014 Cyprus, , 10-NOV-14 - 12-NOV-14 , pp.544-551 [DOI] [Details]
(2014)26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014
Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Helmut Simonis (2014) Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014 [Details]
(2014)Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014
Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O’Sullivan (2014) Proteus: A Hierarchical Portfolio of Solvers and Transformations Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014 Cork, , 19-MAY-14 - 23-MAY-14 , pp.301-317 [DOI] [Details]
(2014)ECAI 2014 - 21st European Conference on Artificial Interlligence
Gilles Simonin and Barry O'Sullivan (2014) Optimisation for the Ride-Sharing Problem: a Complexity-based Approach . In: Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan eds. ECAI 2014 - 21st European Conference on Artificial Interlligence Prague, , 18-AUG-14 - 22-AUG-14 , pp.831-836 [DOI] [Details]
(2014)26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014
Laura Climent and Richard J. Wallace and Barry O'Sullivan and Eugene C. Freuder (2014) Extrapolating from Limited Uncertain Information to Obtain Robust Solutions for Large-Scale Optimization Problems 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014 Cyprus, , 10-NOV-14 - 12-NOV-14 , pp.898-905 [DOI] [Details]
(2014)2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing
Milan de Cauwer and Deepak Mehta and Barry O'Sullivan and Helmut Simonis and Hadrien Cambazard (2014) Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon 2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing Chicago, , 26-MAY-14 - 29-JAN-15 , pp.558-561 [DOI] [Details]
(2014)7th IEEE/ACM International Conference on Utility and Cloud Computing
Jesus Omana Iglesias, Milan De Cauwer, Deepak Mehta, Liam Murphy, Barry O’Sullivan (2014) A Methodology for Online Consolidation of Tasks Through More Accurate Resource Estimations 7th IEEE/ACM International Conference on Utility and Cloud Computing United Kingdom, , 08-DEC-14 - 11-DEC-14 [Details]
(2014)Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence 2014
Tadhg Fitzgerald and Barry O'Sullivan and Yuri Malitsky and Kevin Tierney (2014) Online Search Algorithm Configuration . In: Carla E. Brodley and Peter Stone eds. Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence 2014 Quebec, , 27-JUL-14 - 31-JAN-15 , pp.3104-3105 [Details]
(2014)26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014
Alejandro Arbelaez and Deepak Mehta and Barry O'Sullivan and Luis Quesada (2014) Constraint-Based Local Search for the Distance- and Capacity-Bounded Network Design Problem 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014 Cyprus, , 10-NOV-14 - 12-NOV-14 , pp.178-185 [DOI] [Details]
(2014)18th International Conference on Optical Network Design and Modeling, ONDM 2014
Deepak Mehta and Barry O'Sullivan and Luis Quesada and Marco Rufini and David B. Payne and Linda Doyle (2014) A scalable optimisation approach to minimising IP protection capacity for Long-Reach PON 18th International Conference on Optical Network Design and Modeling, ONDM 2014 Stockholm, , 19-MAY-14 - 22-MAY-14 , pp.31-36 [Details]
(2014)IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada and Helmut Simonis. (2014) Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation IEEE International Conference on Tools with Artificial Intelligence (ICTAI) Cyprus, , 10-NOV-14 - 12-NOV-14 , pp.560-567 [DOI] [Details]
(2014)ECAI 2014 - 21st European Conference on Artificial Intelligence
Yuri Malitsky and Barry O'Sullivan and Alessandro Previti and Joao Marques-Silva (2014) Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems . In: Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan eds. ECAI 2014 - 21st European Conference on Artificial Intelligence Prague, , 18-AUG-14 - 22-AUG-14 , pp.1065-1066 [DOI] [Details]
(2014)Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Yuri Malitsky, Barry O’Sullivan, Alessandro Previti, Joao Marques-Silva (2014) A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems . In: Helmut Simonis eds. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Cork, , 19-MAY-14 - 23-MAY-14 , pp.368-376 [DOI] [Details]
(2014)Proceedings of the Seventh Annual Symposium on Combinatorial Search SoCS 2014
Yuri Malitsky and Barry O'Sullivan (2014) Latent Features for Algorithm Selection . In: Stefan Edelkamp and Roman Bartak eds. Proceedings of the Seventh Annual Symposium on Combinatorial Search SoCS 2014 Prague, , 15-AUG-14 - 17-AUG-14 [Details]
(2014)ECAI 2014 - 21st European Conference on Artificial Intelligence
David Lesaint and Deepak Mehta and Barry O'Sullivan and Vincent Vigneron (2014) A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database . In: Torten Schaub and Gerhard Friedrich and Barry O'Sullivan eds. ECAI 2014 - 21st European Conference on Artificial Intelligence Prague, , 18-AUG-14 - 22-AUG-14 , pp.1057-1058 [DOI] [Details]
(2014)Proceedings of the Seventh Annual Symposium on Combinatorial Search, SoCS 2014
Tadhg Fitzgerald and Yuri Malitsky and Barry O'Sullivan and Kevin Tierney (2014) ReACT: Real-Time Algorithm Configuration through Tournaments . In: Stefan Edelkamp and Roman Bartak eds. Proceedings of the Seventh Annual Symposium on Combinatorial Search, SoCS 2014 Prague, , 15-AUG-14 - 17-AUG-14 [Details]
(2013)Principles and Practice of Constraint Programming - 19th International Conference, CP 2013
Simon de Givry and Steven David Prestwich and Barry O'Sullivan (2013) Dead-End Elimination for Weighted CSP . In: Christian Schulte eds. Principles and Practice of Constraint Programming - 19th International Conference, CP 2013 Uppsala, , 16-SEP-13 - 20-SEP-13 , pp.263-272 [DOI] [Details]
(2013)Economics of Grids, Clouds, Systems, and Services - 10th International Conference, GECON 2013
Hadrien Cambazard and Deepak Mehta and Barry O'Sullivan and Helmut Simonis (2013) Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres . In: Jorn Altmann and Kurt Vanmechelen and Omer F. Rana eds. Economics of Grids, Clouds, Systems, and Services - 10th International Conference, GECON 2013 Zaragoza, , 18-SEP-13 - 20-SEP-13 , pp.44-59 [DOI] [Details]
(2013)Principles and Practice of Constraint Programming - 19th International Conference, CP 2013
Hadrien Cambazard and Deepak Mehta and Barry O'Sullivan and Helmut Simonis (2013) Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres . In: Christian Schulte eds. Principles and Practice of Constraint Programming - 19th International Conference, CP 2013 Uppsala, , 16-SEP-13 - 20-SEP-13 , pp.47-62 [DOI] [Details]
(2013)Proceedings of the Twenty-Fifth Innovative Applications of Artificial Intelligence Conference, IAAI 2013
Hadrien Cambazard and Barry O'Sullivan and Helmut Simonis (2013) The Deployment of a Constraint-Based Dental School Timetabling System . In: Hector Munoz-Avila and David J. Stracuzzi eds. Proceedings of the Twenty-Fifth Innovative Applications of Artificial Intelligence Conference, IAAI 2013 Washington, , 14-JUL-13 - 18-JUL-13 [Details]
(2013)2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013
Deepak Mehta, Barry O’Sullivan, Lars Kotthoff, Yuri Malitsky (2013) Lazy Branching for Constraint Satisfaction 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013 VA, , 04-NOV-13 - 06-NOV-13 , pp.1012-1019 [DOI] [Details]
(2013)2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013
Luis Qusada and Kenneth N. Brown and Barry O'Sullivan and Lannay Sitanayah and and Cormac J. Sreenan (2013) A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013 VA, , 04-NOV-13 - 06-NOV-13 , pp.1052-1059 [DOI] [Details]
(2013)Transparent Optical Networks (ICTON), 2013 15th International Conference on
Ruffini, Marco and Doran, Nick and Achouche, Mohand and Parsons, Nick and Pfeiffer, Thomas and Yin, Xin and Rohde, Harald and Schiano, Marco and Ossieur, Peter and O'Sullivan, Barry and others (2013) DISCUS: End-to-end network design for ubiquitous high speed broadband services Transparent Optical Networks (ICTON), 2013 15th International Conference on , pp.1-5 [Details]
(2013)2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013
Fatih Turkmen, Simon N. Foley, Barry O'Sullivan, William M. Fitzgerald, Tarik Hadzic, Stylianos Basagiannis, Menouer Boubekeur (2013) Explanations and Relaxations for Policy Conflicts in Physical Access Control 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013 VA, , 04-NOV-13 - 06-NOV-13 , pp.330-336 [DOI] [Details]
(2013)IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence
Barry Hurley and Barry O'Sullivan (2013) Problem Transformations and Algorithm Selection for CSPs . In: Francesca Rossi eds. IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence Beijing, , 03-AUG-13 - 09-AUG-13 [Details]
(2013)IEEE/ACM 6th International Conference on Utility and Cloud Computing, UCC 2013
Deepak Mehta and Barry O'Sullivan and Helmut Simonis (2013) Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices IEEE/ACM 6th International Conference on Utility and Cloud Computing, UCC 2013 Dresden, , 09-DEC-13 - 12-DEC-13 , pp.26-33 [DOI] [Details]
(2013)European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013
Marco Collautti, Yuri Malitsky, Deepak Mehta, Barry O’Sullivan (2013) SNNAP: Solver-based Nearest Neighbor for Algorithm Portfolios . In: Hendrik Blockeel and Kristian Kersting and Siegfried Nijssen and Filip Zelezny eds. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013 Prague, , 23-SEP-13 - 27-SEP-13 , pp.435-450 [DOI] [Details]
(2013)Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013
Yuri Malitsky, Deepak Mehta, Barry O'Sullivan, Helmut Simonis (2013) Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem . In: Carla P. Gomes and Meinholf Sellman eds. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013 NY, , 18-MAY-13 - 22-MAY-13 , pp.176-192 [DOI] [Details]
(2013)Economics of Grids, Clouds, Systems, and Services - 10th International Conference, GECON 2013
Milan de Cauwer and Barry O'Sullivan (2013) A Study of Electricity Price Features on Distributed Internet Data Centers . In: Jorn Altmann and Kurt Vanmechelen and Omer F. Rana eds. Economics of Grids, Clouds, Systems, and Services - 10th International Conference, GECON 2013 Zaragoza, , 18-SEP-13 - 20-SEP-13 , pp.60-73 [DOI] [Details]
(2013)Proceedings of the Sixth Annual Symposium on Combinatorial Search, SoCS 2013
Yuri Malitsky, Deepak Mehta, Barry O’Sullivan (2013) Evolving Instance Specific Algorithm Configuration . In: Malte Helmert and Gabriele Roger eds. Proceedings of the Sixth Annual Symposium on Combinatorial Search, SoCS 2013 Washington, , 11-JUL-13 - 13-JUL-13 [Details]
(2012)WAITS 2012: Proceedings of the First International Workshop on AI in Telecommunications and Sensor Networks, in conjunction with ECAI 2012, Montpelier, France. 
Kenneth N Brown and Barry O'Sullivan and Cormac J. Sreenan  (2012) WAITS 2012: Proceedings of the First International Workshop on AI in Telecommunications and Sensor Networks, in conjunction with ECAI 2012, Montpelier, France WAITS 2012: Proceedings of the First International Workshop on AI in Telecommunications and Sensor Networks, in conjunction with ECAI 2012, Montpelier, France.  Montpellier, , 28-AUG-12 - 28-AUG-12 [Details]
(2012)Principles and Practice of Constraint Programming - 18th International Conference, CP 2012
Deepak Mehta, Barry O'Sullivan, Helmut Simonis (2012) Comparing Solution Methods for the Machine Reassignment Problem Conference, CP 2012 . In: Michela Milano eds. Principles and Practice of Constraint Programming - 18th International Conference, CP 2012 Quebec City, , 08-OCT-12 - 12-OCT-12 , pp.782-797 [DOI] [Details]
(2012)16th International Conference on Optical Network Design and Modelling, ONDM 2012
Marco Ruffini, Linda Doyle, David B. Payne, Deepak Mehta, Barry O'Sullivan, Luis Quesada (2012) Deployment case studies of an energy efficient protected LR-PON architecture . In: Dimitra Simeonidou eds. 16th International Conference on Optical Network Design and Modelling, ONDM 2012 Colchester, , 17-APR-12 - 20-APR-12 , pp.1-6 [DOI] [Details]
(2012)26th European Conference on Modelling and Simulation, ECMS 2012
Marco Gavanelli, Michela Milano, Alan Holland, Barry O'Sullivan (2012) What-If Analysis Through Simulation-Optimization Hybrids 26th European Conference on Modelling and Simulation, ECMS 2012 Koblenz, , 29-MAY-12 - 01-JUN-12 , pp.624-630 [DOI] [Details]
(2012)Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada (2012) A Computational Geometry-Based Local Search Algorithm for Planar Location Problems . In: Nicolas Beldiceanu and Narendra Jussien and Eric Pinson eds. Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings Nantes, , 28-MAY-12 - 01-JUN-12 , pp.97-112 [DOI] [Details]
(2012)Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence
Barry O'Sullivan (2012) Opportunities and Challenges for Constraint Programming . In: Jorg Hoffmann and Bart Selman eds. Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence Toronto, , 22-JUL-12 - 26-JUL-12 [Details]
(2012)Principles and Practice of Constraint Programming - 18th International Conference, CP 2012
Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis (2012) Properties of Energy-Price Forecasts for Scheduling . In: Michela Milano eds. Principles and Practice of Constraint Programming - 18th International Conference, CP 2012 Quebec City, , 08-OCT-12 - 12-OCT-12 , pp.957-972 [DOI] [Details]
(2012)7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012
William M. Fitzgerald, Fatih Turkmen, Simon N. Foley, Barry O'Sullivan (2012) Anomaly analysis for Physical Access Control security configuration 7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012 Cork, , 10-OCT-12 - 12-OCT-12 , pp.1-8 [DOI] [Details]
(2012)Case-Based Reasoning Research and Development - 20th International Conference, ICCBR 2012
Barry Hurley, Barry O'Sullivan (2012) Adaptation in a CBR-Based Solver Portfolio for the Satisfiability Problem Case-Based Reasoning Research and Development - 20th International Conference, ICCBR 2012 Lyon, , 03-SEP-12 - 06-SEP-12 , pp.152-166 [DOI] [Details]
(2012)Principles and Practice of Constraint Programming - 18th International Conference, CP 2012
Ignacio Castiñeiras, Milan De Cauwer, Barry O'Sullivan (2012) Weibull-Based Benchmarks for Bin Packing . In: Michela Milano eds. Principles and Practice of Constraint Programming - 18th International Conference, CP 2012 Quebec City, , 08-OCT-12 - 12-OCT-12 , pp.207-222 [DOI] [Details]
(2011)AICS 2011
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle (2011) A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks AICS 2011 [Details]
(2011)CP 2011 - 8th Workshop on Local Search Techniques in Constraint Satisfaction
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada (2011) A Computational Geometry-based Local Search Algorithm for Planar Location Problems CP 2011 - 8th Workshop on Local Search Techniques in Constraint Satisfaction [Details]
(2011)EPSRC photonic communications workshop
Marco Ruffini, Barry O’Sullivan, Deepak Mehta, Luis Quesada, F. Farjady, N. Doran, David Payne (2011) A protected LR-PON deployment for the UK EPSRC photonic communications workshop [Details]
(2011)Proceedings of the Twenty-Third Conference on Innovative Applications of Artificial Intelligence
Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle (2011) Designing Resilient Long-Reach Passive Optical Networks Proceedings of the Twenty-Third Conference on Innovative Applications of Artificial Intelligence San Francisco, , 09-AUG-11 - 11-AUG-11 [Details]
(2011)Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011
Barry O'Sullivan (2011) An Introduction to Constraint Programming and Combinatorial Optimisation Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011 Galway, , 23-AUG-11 - 27-AUG-11 [DOI] [Details]
(2011)IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle (2011) A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011 FL, , 07-NOV-11 - 09-NOV-11 , pp.785-792 [DOI] [Details]
(2011)Proceedings of the 2011 ACM Symposium on Applied Computing (SAC)
Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan (2011) Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences . In: William C. Chu and W. Eric Wong and Mathew J. Palakal and Chi-Cheng Hung eds. Proceedings of the 2011 ACM Symposium on Applied Computing (SAC) Taiwan, , 21-MAR-11 - 24-MAR-11 , pp.901-906 [DOI] [Details]
(2011)Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, CPAIOR 2011
Helmut Simonis, Barry O'Sullivan (2011) Almost Square Packing Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, CPAIOR 2011 Berlin, , 23-MAY-11 - 27-MAY-11 , pp.196-209 [DOI] [Details]
(2011)Principles and Practice of Constraint Programming - 17th International Conference, CP 2011
Deepak Mehta, Barry O'Sullivan, Luis Quesada (2011) Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering Principles and Practice of Constraint Programming - 17th International Conference, CP 2011 Perugia, , 12-SEP-11 - 16-SEP-11 , pp.606-620 [DOI] [Details]
(2010)Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010
O'Sullivan, B.A , Keady, S.B , Keane, E.C , Irwin, S.B , O'Halloran, J.B (2010) Data Mining for Biodiversity Prediction in Forests Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010 Lisbon, , 16-AUG-10 - 20-AUG-10 , pp.289-294   [Details]
(2010)Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010
Cambazard, H; Hadzic, T; O'Sullivan, B.; (2010) Knowledge Compilation for Itemset Mining Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010 Lisbon, , pp.1109-1110 [DOI] [Details]
(2010)Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming
Lesaint, D; Mehta, Deepak; O'Sullivan, B; Quesada, Luis; Wilson, Nic; (2010) Context-Sensitive Call Control using Constraints and Rules . In: David Cohen eds. Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming St Andrews, , 06-SEP-10 - 10-SEP-10 , pp.583-597 [DOI] [Details]
(2010)In Proceedings of the 22nd IEEE International Conference on on Tools with Artificial Intelligence (ICTAI 2010)
Mehta, Deepak; O'Sullivan, Barry; Quesada, Luis; (2010) Preferred Explanations for Quantified Constraint Satisfaction Problems In Proceedings of the 22nd IEEE International Conference on on Tools with Artificial Intelligence (ICTAI 2010) Arras, , pp.275-278 [DOI] [Details]
(2010)Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010
Lesaint, D; Mehta, Deepak; O'Sullivan, B; Quesada, Luis; Wilson, Nic; (2010) Improving the Global Constraint SoftPrec Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010 Lisbon, [DOI] [Details]
(2010)Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010
Cambazard, H., O'Mahony, E., O'Sullivan, B. (2010) Hybrid Methods for the Multileaf Collimator Sequencing Problem . In: Andrea Lodi and Michela Milano and Paolo Toth eds. Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010 Bologna, , 14-JUN-10 - 18-JUN-10 , pp.56-70   [DOI] [Details]
(2010)Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010
Hebrard, E.A B , O'Mahony, E.A , O'Sullivan, B.A (2010) Constraint Programming and Combinatorial Optimisation in Numberjack . In: Andrea Lodi, Michela Milano, Paolo Toth eds. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010 Bologna, , 14-JUN-10 - 18-JUN-10 , pp.181-185   [DOI] [Details]
(2010)Security and Trust Management - 6th International Workshop, STM 2010
Simon N. Foley, Wayne Mac Adams, Barry O'Sullivan (2010) Aggregating Trust Using Triangular Norms in the KeyNote Trust Management System Security and Trust Management - 6th International Workshop, STM 2010 Athens, , pp.100-115 [DOI] [Details]
(2010)27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010
Dániel Marx, Barry O'Sullivan, Igor Razgon (2010) Treewidth Reduction for Constrained Separation and Bipartization Problems 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010 Nancy, , pp.561-572 [DOI] [Details]
(2010)Principles and Practice of Constraint Programming - 16th International Conference, CP 2010
Hadrien Cambazard and Barry O'Sullivan (2010) Propagating the Bin Packing Constraint Using Linear Programming . In: David Cohen eds. Principles and Practice of Constraint Programming - 16th International Conference, CP 2010 St. Andrews, , 06-SEP-10 - 10-SEP-10 , pp.129-136 [DOI] [Details]
(2010)Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010
Barry O'Sullivan (2010) Automated Modelling and Solving in Constraint Programming . In: Maria Fox and David Poole eds. Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010 Georgia, , 11-JUL-10 - 15-JUL-11 [Details]
(2009)The 15th International Conference on Principles and Practice of Constraint Programming
Hadzic, T. and Holland, A. and O'Sullivan, B. (2009) Reasoning about Optimal Collections of Solutions The 15th International Conference on Principles and Practice of Constraint Programming Lisbon, , 21-SEP-09 - 24-SEP-09 [Details]
(2009)Proceedings of the ACM Conference on Recommender Systems, RecSys 2009
Hadzic, T; O'Sullivan, B; (2009) Uncovering functional dependencies in MDD-compiled product catalogues Proceedings of the ACM Conference on Recommender Systems, RecSys 2009 New York, , pp.377-380 [DOI] [Details]
(2009)ICTAI 2009 21st IEEE International Conference on Tools with Artificial Intelligence
Hadzic, T; O'Mahony, E; O'Sullivan, B; Sellmann, M; (2009) Enhanced Inference for the Market Split Problem ICTAI 2009 21st IEEE International Conference on Tools with Artificial Intelligence Newark, , 02-NOV-09 - 05-NOV-09 [DOI] [Details]
(2009)Principles and Practice of Constraint Programming - 15th International Conference, CP 2009
Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson; (2009) Search Space Extraction . In: Ian P. Gent eds. Principles and Practice of Constraint Programming - 15th International Conference, CP 2009 Lisbon, , pp.608-622 [DOI] [Details]
(2009)Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09)
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson (2009) A Soft Global Precedence Constraint Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09) Pasadena, , pp.566-571 [Details]
(2009)Principles and Practice of Constraint Programming - 15th International Conference, CP2009
Papadopoulos, A., O'Sullivan, B. (2009) Compiling All Possible Conflicts of a CSP . In: Ian P. Gent eds. Principles and Practice of Constraint Programming - 15th International Conference, CP2009 , pp.639-653   [DOI] [Details]
(2009)ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence
John Horan, Barry O'Sullivan (2009) Towards Diverse Relaxations of Over-Constrained Models ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence Newark, , pp.198-205 [DOI] [Details]
(2009)Principles and Practice of Constraint Programming - 15th International Conference, CP 2009
Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon (2009) Constraints of Difference and Equality: A Complete Taxonomic Characterisation . In: Ian P. Gent eds. Principles and Practice of Constraint Programming - 15th International Conference, CP 2009 Lisbon, , pp.424-438   [DOI] [Details]
(2009)Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009
Cambazard, H., O'Mahony, E., O'Sullivan, B. (2009) A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009 , pp.41-55   [DOI] [Details]
(2009)Proceedings of the 7th Workshop on Intelligent Techniques for Web Personalization & Recommender Systems (ITWP'09), in conjunction with the 21st InternationalJoint Conference on Artificial Intelligence - IJCAI 2009
Tarik Hadzic, Barry O'Sullivan (2009) Functional Dependencies in MDD-Compiled Product Catalogues Proceedings of the 7th Workshop on Intelligent Techniques for Web Personalization & Recommender Systems (ITWP'09), in conjunction with the 21st InternationalJoint Conference on Artificial Intelligence - IJCAI 2009 [Details]
(2009)Advances in Artificial Life. Darwin Meets von Neumann - 10th European Conference, ECAL 2009, Revised Selected Papers Part II
Dara Curran, Barry O'Sullivan (2009) An Analysis of Lamarckian Learning in Changing Environments Advances in Artificial Life. Darwin Meets von Neumann - 10th European Conference, ECAL 2009, Revised Selected Papers Part II Budapest, , pp.142-149 [DOI] [Details]
(2009)ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence
Raphael A. Finkel, Barry O'Sullivan (2009) Reasoning about Conditional Constraint Specifications ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence Newark, , pp.349-353 [DOI] [Details]
(2009)ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence
David Devlin, Barry O'Sullivan (2009) Preferential Attachment in Constraint Networks ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence Newark, , pp.708-715 [DOI] [Details]
(2009)Principles and Practice of Constraint Programming - 15th International Conference, CP 2009
Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan (2009) Minimising Decision Tree Size as Combinatorial Optimisation . In: Ian P. Gent eds. Principles and Practice of Constraint Programming - 15th International Conference, CP 2009 Lisbon, , pp.173-187   [DOI] [Details]
(2008)Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008
Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan (2008) A Hybrid Approach to Domino Portrait Generation Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008 Chicago, , pp.1874-1875 [Details]
(2008)Proceedings of the European Conference on Optical Communications (ECOC) 2008
Alex Ferguson, Barry O'Sullivan, Daniel C. Kilper (2008) Impact ofWavelength Route Correlation on the Optimal Placement of Optical Monitors in Transparent Mesh Networks Proceedings of the European Conference on Optical Communications (ECOC) 2008 Brussels, , pp.1-2 [DOI] [Details]
(2008)Proceedings of the 19th Conference on Artificial Intelligence and Cognitive Science
Chenjie Zhu, Alan Holland, and Barry O’Sullivan (2008) Towards Category Management for Combinatorial Auctions Proceedings of the 19th Conference on Artificial Intelligence and Cognitive Science [Details]
(2008)Transforming Healthcare through Research, Education & Technology 9th Annual Interdisciplinary Research Conference Proceedings
O'Sullivan, Brid,O'Connell, R; (2008) Secondary Prevention in Heart Disease: Learning Needs of Angioplasty Patients Transforming Healthcare through Research, Education & Technology 9th Annual Interdisciplinary Research Conference Proceedings School of Nursing and Midwifery Trinity College Dublin, [Details]
(2008)Proc. 14th International Conference on Principles and Practice of Constraint Programming, CP 2008
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis O. Quesada, Nic Wilson; (2008) Solving a Telecommunications Feature Subscription Configuration Problem . In: Peter J. Stuckey eds. Proc. 14th International Conference on Principles and Practice of Constraint Programming, CP 2008 Sydney, , pp.67-81 [DOI] [Details]
(2008)Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis O. Quesada, Nic Wilson; (2008) Personalisation of Telecommunications Services as Combinatorial Optimisation Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008 Chicago, , pp.1693-1698 [Details]
(2008)Automata, Languages and Programming, 35th International Colloquium, ICALP (1) 2008
Igor Razgon, Barry O'Sullivan; (2008) Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract) Automata, Languages and Programming, 35th International Colloquium, ICALP (1) 2008 Reykjavik, , pp.551-562 [DOI] [Details]
(2008)Proceedings of the 40th Annual ACM Symposium on Theory of ComputingTOC 2008
Jianer Chen, Yang Liu, Songjian Lu, Barry O'Sullivan, Igor Razgon; (2008) A fixed-parameter algorithm for the directed feedback vertex set problem Proceedings of the 40th Annual ACM Symposium on Theory of ComputingTOC 2008 British Columbia, , pp.177-186 [DOI] [Details]
(2008)ECAI 2008 System Demonstrations
David Lesaint, John Ly, Deepak Mehta, Barry O'Sullivan, Luis Quesada and Nic Wilson; (2008) A Personalisable Internet Telephony Service ECAI 2008 System Demonstrations [Details]
(2008)Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, and Nic Wilson (2008) Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence Dayton, , pp.283-290 [DOI] [Details]
(2008)Artificial Intelligence and Cognitive Science (AICS'08)
Eoin O'Mahony, Emmanuel Hebrard, Alan Holland, Conor Nugent and Barry O'Sullivan; (2008) Using Case-based Reasoning in an Algorithm Portfolio for Constraint Solving Artificial Intelligence and Cognitive Science (AICS'08) Cork, Ireland, [Details]
(2008)Artificial Intelligence and Cognitive Science (AICS'08)
Chenjie Zhu, Alan Holland and Barry O'Sullivan; (2008) Towards Category Management for Combinatorial Auctions Artificial Intelligence and Cognitive Science (AICS'08) Cork, Ireland, [Details]
(2008)ECAI 2008 - 18th European Conference on Artificial Intelligence
Hadzic T, Lesaint D, Mehta D, O'Sullivan B, Quesada L, Wilson N.; (2008) A BDD Approach to the Feature Subscription Problem ECAI 2008 - 18th European Conference on Artificial Intelligence Patras, , pp.698-702 [DOI] [Details]
(2008)Proceedings of Principles and Practice of Constraint Programming, CP 2008
Hadzic T, Hooker JN, O'Sullivan B, Tiedemann P.; (2008) Approximate Compilation of Constraints into Multivalued Decision Diagrams . In: Peter J. Stuckey eds. Proceedings of Principles and Practice of Constraint Programming, CP 2008 Sydney, , pp.448-462 [DOI] [Details]
(2008)2nd ACM Conference on Recommender Systems, Recsys 2008
Hadzic, T, O'Sullivan, B; (2008) Critique graphs for catalogue navigation 2nd ACM Conference on Recommender Systems, Recsys 2008 Lausanne, , pp.115-122 [DOI] [Details]
(2008)20th IEEE International Conference on Tools with Artificial Intelligence
Hadzic, T, Hansen, ER, O'Sullivan, B; (2008) Layer Compression In Decision Diagrams 20th IEEE International Conference on Tools with Artificial Intelligence Dayton, , pp.19-26 [DOI] [Details]
(2008)Transparent Path Length Optimized Optical Monitor Placement In Transparent Mesh Networks
Ferguson, A, O'Sullivan, B, Kilper, DC; (2008) 2008 Conference On Optical Fiber Communication/National Fiber Optic Engineers Conference, Vols 1-8 Transparent Path Length Optimized Optical Monitor Placement In Transparent Mesh Networks , pp.1832-1834 [Details]
(2008)Integration of AI and OR Techniques In Constraint Programming For Combinatorial Optimization Problems, 5th International Conference, CPAIOR2008
Cambazard, H, Horan, J, O'Mahony, E, O'Sullivan, B; (2008) Fast and Scalable Domino Portrait Generation Integration of AI and OR Techniques In Constraint Programming For Combinatorial Optimization Problems, 5th International Conference, CPAIOR2008 Paris, , pp.51-65 [DOI] [Details]
(2008)Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini (2008) From Marriages to Coalitions: A Soft CSP Approach Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008 Rome, , pp.1-15   [DOI] [Details]
(2008)Principles and Practice of Constraint Programming, 14th International Conference, CP 2008
Hebrard, E., O'Sullivan, B., Razgon, I. (2008) A Soft Constraint of Equality: Complexity and Approximability . In: Peter J. Stukey eds. Principles and Practice of Constraint Programming, 14th International Conference, CP 2008 Sydney, , pp.358-371   [DOI] [Details]
(2008)Principles and Practice of Constraint Programming, 14th International Conference, CP 2008
Cambazard, H., O'Sullivan, B. (2008) Reformulating Positive Table Constraints Using Functional Dependencies . In: Peter J. Stuckey eds. Principles and Practice of Constraint Programming, 14th International Conference, CP 2008 Sydney, , pp.418-432   [DOI] [Details]
(2008)Principles and Practice of Constraint Programming, 14th International Conference, CP 2008
Papadopoulos, A., O'Sullivan, B. (2008) Relaxations for Compiled Over-Constrained Problems . In: Peter J. Stukey eds. Principles and Practice of Constraint Programming, 14th International Conference, CP 2008 Sydney, , pp.433-447   [DOI] [Details]
(2008)Principles and Practice of Constraint Programming, 14th International Conference, CP 2008
Helmut Simonis and Barry O'Sullivan (2008) Search Strategies for Rectangle Packing . In: Peter J. Stuckey eds. Principles and Practice of Constraint Programming, 14th International Conference, CP 2008 Sydney, , pp.52-66 [DOI] [Details]
(2008)Proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science 2008
Devlin, David, and Barry O’Sullivan (2008) Satisfiability as a Classification Problem Proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science 2008 [Details]
(2008)Proceedings of PATAT 2008
Hadrien Cambazard, Emmanuel Hebrard, Barry O’Sullivan and Alexandre Papadopoulos (2008) Local Search and Constraint Programming for the Post-Enrolment-based Course Timetabling Problem Proceedings of PATAT 2008 [Details]
(2008)Proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science
Eoin O'Mahony, Emmanuel Hebrard, Alan Holland, Conor Nugent and Barry O'Sullivan (2008) Using Case-based Reasoning in an Algorithm Portfolio for Constraint Solving Proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science [Details]
(2007)Generalized Constraint Acquisition
Vu, XH, O'Sullivan, B; (2007) Abstraction, Reformulation, and Approximation, Proceedings Generalized Constraint Acquisition , pp.411-412 [Details]
(2007)International Joint Conference on Artificial Intelligence (IJCAI-07)
Holland Alan, O'Sullivan Barry; (2007) Truthful Risk-Managed Combinatorial Auctions . In: * eds. International Joint Conference on Artificial Intelligence (IJCAI-07) Hyderabad, India, , 06-JAN-07 - 12-JAN-07 , pp.*-* [Details]
(2007)Generalizing Global Constraints Based On Network Flows
Razgon, I, O'Sullivan, B, Provan, G; (2007) Recent Advances In Constraints, 12th Annual ERCIM International Workshop Generalizing Global Constraints Based On Network Flows , pp.127-141 [Details]
(2007)Efficient recognition of acyclic clustered constraint satisfaction problems
Razgon, I., O'Sullivan, B. (2007) Efficient recognition of acyclic clustered constraint satisfaction problems , pp.154-168   [Details]
(2007)Constraint symmetry for the soft CSP
Smith, B.M.a , Bistarelli, S.b c , O'Sullivan, B.d (2007) Constraint symmetry for the soft CSP , pp.872-879   [Details]
(2007)Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP
Razgon, I., O'Sullivan, B. , Provan, G. (2007) Generalizing Global Constraints Based on Network Flows Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP Rocquencourt, , pp.127-141   [DOI] [Details]
(2007)A Reformulation-Based Approach to Explanation In Constraint Satisfaction
Cambazard, H, O'Sullivan, B; (2007) Abstraction, Reformulation, and Approximation, Proceedings A Reformulation-Based Approach to Explanation In Constraint Satisfaction , pp.395-396 [Details]
(2007)Semiring-Based Constraint Acquisition
Vu, XH, O'Sullivan, B; (2007) 19th Ieee International Conference On Tools With Artificial Intelligence, Vol I, Proceedings Semiring-Based Constraint Acquisition , pp.251-258 [Details]
(2006)CSCLP 2006
Igor Razgon, Barry O'Sullivan; (2006) Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems CSCLP 2006 [Details]
(2006)Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations
Hulubei, T, O'Sullivan, B; (2006) Principles and Practice of Constraint Programming - Cp 2006 Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations , pp.736-740 [Details]
(2006)Principles of Secure Network Configuration: Towards A Formal Basis For Self-Configuration
Foley, SN, Fitzgerald, W, Bistarelli, S, O'Sullivan, B, Foghlu, MO; (2006) Autonomic Principles of Ip Operations and Management, Proceedings Principles of Secure Network Configuration: Towards A Formal Basis For Self-Configuration , pp.168-180 [Details]
(2006)Relaxations and Explanations For Quantified Constraint Satisfaction Problems
Ferguson, A, O'Sullivan, B; (2006) Principles and Practice of Constraint Programming - Cp 2006 Relaxations and Explanations For Quantified Constraint Satisfaction Problems , pp.690-694 [Details]
(2006)Failure Analysis In Backtrack Search For Constraint Satisfaction
Hulubei, T, O'Sullivan, B; (2006) Principles and Practice of Constraint Programming - Cp 2006 Failure Analysis In Backtrack Search For Constraint Satisfaction , pp.731-735 [Details]
(2006)Proc. Conference of American Association of AI (AAAI)
Barry O¿Sullivan and Gregory Provan; (2006) Approximate Compilation for Embedded Model-based Reasoning Proc. Conference of American Association of AI (AAAI) [Details]
(2006)Principles of secure network configuration: Towards a formal basis for self-configuration
Foley, S.N.a , Fitzgerald, W.b , Bistarelli, S.d e , O'Sullivan, B.a c , Foghlú, M.Ó.b (2006) Principles of secure network configuration: Towards a formal basis for self-configuration , pp.168-180   [Details]
(2006)Heavy-tailed runtime distributions: Heuristics, models and optimal refutations
Hulubei, T., O'Sullivan, B. (2006) Heavy-tailed runtime distributions: Heuristics, models and optimal refutations , pp.736-740   [Details]
(2006)Failure analysis in backtrack search for constraint satisfaction
Hulubei, T., O'Sullivan, B. (2006) Failure analysis in backtrack search for constraint satisfaction , pp.731-735   [Details]
(2006)Proceedings of 6th IEEE International Workshop on IP Operations and Management
Foley S. N., Fitzgerald W., Bistarelli S., O'Sullivan B., O Foghlu M.; (2006) Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration Proceedings of 6th IEEE International Workshop on IP Operations and Management *, , 01-OCT-06 - 30-DEC-99 [Details]
(2006)Proceedings of CP-2006, Short Paper
Ferguson A., O'Sullivan B.; (2006) Relaxations and Explanations for Quantified Constraint Satisfaction Problems . In: * eds. Proceedings of CP-2006, Short Paper *, , 01-SEP-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Proceedings of CP-2006, Short Paper
Hulubei T., O'Sullivan B.; (2006) Failure Analysis in Backtrack Search for Constraint Satisfaction . In: * eds. Proceedings of CP-2006, Short Paper *, , 01-SEP-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Proceedings of CP-2006, Short Paper
Hulubei T., O'Sullivan B.; (2006) Heavy-tailed Runtime Distributions: Heuristics, Models and Optimal Refutations . In: * eds. Proceedings of CP-2006, Short Paper *, , 01-SEP-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Proceedings of CSCLP 2006
Razgon I., O'Sullivan B., and Provan G.; (2006) Tree-structured Constraint Satisfaction Problems Revisited . In: * eds. Proceedings of CSCLP 2006 *, , 01-JUN-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Proceedings of AAAI-2006 (Nectar Track)
Bessiere C., Coletta R., Koriche F. and O'Sullivan B.; (2006) Acquiring Constraint Networks using a SAT-based Version Space Algorithm . In: * eds. Proceedings of AAAI-2006 (Nectar Track) *, , 01-JUL-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Relaxations and explanations for quantified constraint satisfaction problems
Ferguson, A.a , O'Sullivan, B.b (2006) Relaxations and explanations for quantified constraint satisfaction problems , pp.690-694   [Details]
(2006)Proceedings of ECAI-2006
Szymanek R., O'Sullivan B.; (2006) Guiding Search using Constraint-level Advice . In: * eds. Proceedings of ECAI-2006 *, , 01-AUG-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Proceedings of AAAI-2006
O'Sullivan B. and Provan G. M.; (2006) Approximate Compilation for Embedded Model-based Reasoning . In: * eds. Proceedings of AAAI-2006 *, , 01-JUL-06 - 30-DEC-99 , pp.*-* [Details]
(2005)Corrective Explanation for Interactive Constraint Satisfaction
O'Sullivan B., O'Callaghan B. and Freuder E. C.; (2005) Corrective Explanation for Interactive Constraint Satisfaction Corrective Explanation for Interactive Constraint Satisfaction [Details]
(2005)Proceedings of Workshop on Supply Chain Management and ICT
O'Sullivan B., Brown K., Ferguson A., Freuder E. C. and Schabel M.; (2005) Automated Requirements Elicitation for Supply Chain Management Proceedings of Workshop on Supply Chain Management and ICT Groningen, Netherlands, , 01-NOV-05 - 01-NOV-05 [Details]
(2005)Proceedings of Quality of Protection, Springer Advances in Information Security Series
Foley S., Bistarelli S., O'Sullivan B., Herbert J. and Swart G. ; (2005) Multilevel Security and Quality of Protection . In: * eds. Proceedings of Quality of Protection, Springer Advances in Information Security Series *, , 01-SEP-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of IJCAI-2005
Hulubei T. and O'Sullivan B.; (2005) Optimal Refutations for Constraint Satisfaction Problems . In: * eds. Proceedings of IJCAI-2005 *, , 01-JUL-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of IJCAI-2005 Workshop on Configuration
O'Sullivan B., Ferguson A. and Freuder E. C.; (2005) A Decision Tree Learning and Constraint Satisfaction Hybrid for Interactive Problem Solving . In: * eds. Proceedings of IJCAI-2005 Workshop on Configuration *, , 01-JUL-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of ECML-2005, Springer LNCS
Bessiere C., Coletta R., Koriche F. and O'Sullivan B.; (2005) A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems . In: * eds. Proceedings of ECML-2005, Springer LNCS *, , 01-OCT-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of AAAI-2005
Holland A. and O'Sullivan B.; (2005) Weighted Super Solutions for Constraint Programs . In: * eds. Proceedings of AAAI-2005 *, , 01-JUL-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of AAAI-2005
Hebrard E., Hnich B., O'Sullivan B., Walsh T.; (2005) Finding Diverse and Similar Solutions in Constraint Programming . In: * eds. Proceedings of AAAI-2005 *, , 01-JUL-05 - 30-DEC-99 , pp.*-* [Details]
(2005)ACM Conference on Electronic Commerce
Holland Alan, O'Sullivan Barry; (2005) Robust Solutions for Combinatorial Auctions . In: * eds. ACM Conference on Electronic Commerce Vancouver, CA, , 02-JUN-05 - 07-JUN-05 , pp.183-192 [Details]
(2005)In proceedings of First Workshop on Quality of Protection, Springer LNCS
Foley S.N., Bistaelli S., O'Sullivan B., Herbert J. and Swart G.; (2005) Multilevel Security and Quality of Protection In proceedings of First Workshop on Quality of Protection, Springer LNCS Como, Italy, , 01-SEP-05 - 30-DEC-99 [Details]
(2005)Proceedings of CP-2005, Springer LNCS
Hulubei T. and O'Sullivan B.; (2005) Search Heuristics and Heavy-Tailed Behaviour . In: * eds. Proceedings of CP-2005, Springer LNCS *, , 01-OCT-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of CP-2005, Springer LNCS
O'Callaghan B., O'Sullivan B. and Freuder E. C.; (2005) Generating Corrective Explanations for Interactive Constraint Satisfaction . In: * eds. Proceedings of CP-2005, Springer LNCS *, , 01-OCT-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of ACM EC-2005
Holland A. and O'Sullivan B.; (2005) Robust Solutions for Combinatorial Auctions . In: * eds. Proceedings of ACM EC-2005 *, , 01-JUN-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of IEEE Computational Intelligence in Games, IEEE Press
Blackburn P. and O'Sullivan B.; (2005) Building Reactive Characters for Dynamic Gaming Environments . In: * eds. Proceedings of IEEE Computational Intelligence in Games, IEEE Press *, , 01-APR-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of ACM SAC-2005
Sarah O'Connell, Barry O'Sullivan and Eugene C. Freuder; (2005) Timid Acquisition of Constraint Satisfaction Problems . In: * eds. Proceedings of ACM SAC-2005 *, , 01-MAR-05 - 30-DEC-99 , pp.*-* [Details]
(2005)American Association of AI National Conference 2005 (AAAI-05)
Holland Alan, O'Sullivan Barry; (2005) Weighted Super Solutions for Constraint Programs . In: * eds. American Association of AI National Conference 2005 (AAAI-05) Pittsburgh, PA, , 28-JUN-05 - 03-JUL-05 , pp.*-* [Details]
(2005)IBPSA05 International Conference. ISBN: 2-55-01152-0
O' Sullivan, B., Keane, M.M.; (2005) Specification of an IFC based intelligent graphical user interface to support building energy simulation . In: * eds. IBPSA05 International Conference. ISBN: 2-55-01152-0 Monotreal, Canada, , 15-AUG-05 - 18-MAY-05 , pp.*-* [Details]
(2005)Generating corrective explanations for interactive constraint satisfaction
O'Callaghan, B., O'Sullivan, B., Freuder, E.C. (2005) Generating corrective explanations for interactive constraint satisfaction , pp.445-459   [Details]
(2005)Search heuristics and heavy-tailed behaviour
Hulubei, T., O'Sullivan, B. (2005) Search heuristics and heavy-tailed behaviour , pp.328-342   [Details]
(2005)A SAT-based version space algorithm for acquiring constraint satisfaction problems
Bessiere, C.a , Coletta, R.a , Koriche, F.a , O'Sullivan, B.b (2005) A SAT-based version space algorithm for acquiring constraint satisfaction problems , pp.23-34   [Details]
(2005)Super solutions for combinatorial auctions
Holland, A., O'Sullivan, B. (2005) Super solutions for combinatorial auctions , pp.187-200   [Details]
(2005)CP 2005
O’Callaghan, Barry, O’Sullivan, Barry, Freuder, Eugene C (2005) Generating Corrective Explanations for Interactive Constraint Satisfaction. Principles and Practice of Constraint Programming-CP 2005 . In: Peter van Beek eds. CP 2005 , pp.445-459 [DOI] [Details]
(2005)Corrective explanation for interactive constraint satisfaction
O'Sullivan, Barry,O'Callaghan, Barry,Freuder, Eugene C (2005) Corrective explanation for interactive constraint satisfaction [Details]
(2005)A Decision Tree Learning and Constraint Satisfaction Hybrid for Interactive Problem Solving¿
O’Sullivan, Barry,Ferguson, Alex,Freuder, Eugene C (2005) A Decision Tree Learning and Constraint Satisfaction Hybrid for Interactive Problem Solving¿ , pp.1-6 [Details]
(2004)Principles and Practice of Constraint Programming - CP 2004
Bessiere, Christian,Coletta, Remi,Freuder, Eugene C,O’Sullivan, Barry (2004) Leveraging the Learning Power of Examples in Automated Constraint Acquisition . In: Mark Wallace eds. Principles and Practice of Constraint Programming - CP 2004 Toronto, , 27-SEP-04 - 01-OCT-04 , pp.123-137 [DOI] [Details]
(2004)Proceedings of MICAI
Kelleher J., O'Sullivan B.; (2004) Evaluation-Based Semiring Meta-Constraints . In: Springer, LNCA 2972 eds. Proceedings of MICAI Mexico, , 01-APR-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Constraint Programming
Holland Alan, O'Callaghan Barry, O'Sullivan Barry , in Proceedings of CP-2003 , 2003.; (2004) A Constraint-Aided Conceptual Design Environment for Autodesk Inventor . In: * eds. Constraint Programming Kinsale, , 01-SEP-04 - 06-SEP-04 , pp.520-532 [Details]
(2004)A study of query generation strategies for interactive constraint acquisition. Applications and Science in Soft Computing
O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2004) A study of query generation strategies for interactive constraint acquisition. Applications and Science in Soft Computing , pp.225-232 [Details]
(2004)Proceedings of IEA/AIE
Holland A., O'Callaghan B., O'Sullivan B.; (2004) Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor . In: Springer, LNCS 3029 eds. Proceedings of IEA/AIE Canada, , 01-MAY-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of AAAI/IAAI-2004 (16th Innovative Applications of AI Conference)
Bistarelli S., Foley S. and O'Sullivan B.; (2004) Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks using Soft Constraints . In: * eds. Proceedings of AAAI/IAAI-2004 (16th Innovative Applications of AI Conference) San Jose, USA, , 01-JUL-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of IEEE ICTAI-2004, IEEE Press
Bistarelli S., Freuder E. C. and O'Sullivan B.; (2004) Encoding Partial Constraint Satisfaction in the Semiring-based Framework for Soft Constraints . In: * eds. Proceedings of IEEE ICTAI-2004, IEEE Press *, , 01-NOV-04 - 30-DEC-99 , pp.*-* [Details]
(2004)IEA/AIE
Holland Alan, O'Callaghan Barry, O'Sullivan Barry ; (2004) Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor . In: * eds. IEA/AIE Canada, , 01-MAY-04 - 06-MAY-04 , pp.100-112 [Details]
(2004)Proceedings of CP-2004
Bessiere C., Coletta R., Freuder E. C. and O'Sullivan B.; (2004) Leveraging the Learning Power of Examples in Automated Constraint Acquisition . In: Springer, LNCS 3258 eds. Proceedings of CP-2004 Toronto, , 01-SEP-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of FAST-2004 - Formal Aspects of Security and Trust, Kluwer Academic Publishers
Bistarelli S., Foley S. and O'Sullivan B.; (2004) Reasoning about Secure Interoperation using Soft Constraints . In: * eds. Proceedings of FAST-2004 - Formal Aspects of Security and Trust, Kluwer Academic Publishers Toulouse, , 01-AUG-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of AAAI/IAAI-2004 (16th Innovative Applications of AI Conference)
Bistarelli S., Foley S., O'Sullivan B.; (2004) Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks using Soft Constraints . In: *AAI Press eds. Proceedings of AAAI/IAAI-2004 (16th Innovative Applications of AI Conference) San Jose, USA, , 01-JUL-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of FAST-2004 Workshop on Formal Aspects of Security and Trust
Bistarelli S., Foley S.N. and O'Sullivan B.; (2004) Reasoning about Secure Interoperation using Soft Constraints Proceedings of FAST-2004 Workshop on Formal Aspects of Security and Trust Toulouse, , 01-AUG-04 - 30-DEC-99 [Details]
(2004)Proceedings of ACM Symposium on Applied Computing (SAC-2004), ACM Press
Bistarelli S., Foley S.N., O'Sullivan B.; (2004) Modelling and Detecting the Cascade Vulnerability Problem using Soft Constraints Proceedings of ACM Symposium on Applied Computing (SAC-2004), ACM Press Nicosia, Cyprus, , 01-MAR-04 - 30-DEC-99 [Details]
(2004)Leveraging the learning power of examples in automated constraint acquisition
Bessiere, C.a , Coletta, R.a , Freuder, E.C.b , O'Sullivan, B.b (2004) Leveraging the learning power of examples in automated constraint acquisition , pp.123-137   [Details]
(2004)Proceedings of the CP-2004 Workshop on CSP Techniques with Immediate Application
O'Sullivan B., Ferguson A. and Freuder E. C.; (2004) Boosting Constraint Satisfaction using Decision Trees . In: * eds. Proceedings of the CP-2004 Workshop on CSP Techniques with Immediate Application *, , 01-SEP-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of ACM Symposium on Applied Computing (SAC-2004)
Bistarelli S., Foley S., O'Sullivan B.; (2004) Modelling and Detecting the Cascade Vulnerability Problem using Soft Constraints . In: ACM Press eds. Proceedings of ACM Symposium on Applied Computing (SAC-2004) Nicosia, Cyprus, , 01-MAR-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Constraint acquisition as semi-automatic modeling
Coletta, Remi,Bessiere, Christian,O’Sullivan, Barry,Freuder, Eugene C,O’Connell, Sarah,Quinqueton, Joel (2004) Constraint acquisition as semi-automatic modeling , pp.111-124 [Details]
(2003)Principles and Practice of Constraint Programming – CP 2003, 9th International Conference
O’Callaghan, Barry,Freuder, Eugene C,O’Sullivan, Barry (2003) Useful Explanations . In: Francesa Rossi eds. Principles and Practice of Constraint Programming – CP 2003, 9th International Conference Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.988-988 [DOI] [Details]
(2003)Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, CP 2003
Coletta, Remi,Bessiere, Christian,O’Sullivan, Barry,Freuder, Eugene C,O’Connell, Sarah,Quinqueton, Joel (2003) Semi-automatic Modeling by Constraint Acquisition . In: Francesca Rossi eds. Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, CP 2003 Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.812-816 [DOI] [Details]
(2003)Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003
O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2003) Teacher and Learner Profiles for Constraint Acquisition . In: Francesca Rossi eds. Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003 Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.989-989 [DOI] [Details]
(2003)Interactive constraint acquisition for concurrent engineering
O’Sullivan, Barry,O’Connell, Sarah,Freuder, Eugene C (2003) Interactive constraint acquisition for concurrent engineering [Details]
(2003)Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003
Duggan, Moyra,O’Sullivan, Barry,Freuder, Eugene C (2003) Interactive Tradeoff Generation . In: Francesca Rossi eds. Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003 Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.970-970 [DOI] [Details]
(2003)Recent Advances in Constraints, 2003
Bistarelli S., Kelleher J. and O'Sullivan B.; (2003) Tradeoff Generation using Soft Constraints . In: Springer, LNAI 3010, 2004 eds. Recent Advances in Constraints, 2003 *, , 01-JAN-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of AI-2003
Bistarelli S., O'Sullivan B.; (2003) A Theoretical Framework for Tradeoff Generation using Soft Constraints . In: Springer eds. Proceedings of AI-2003 Cambridge, UK, , 01-DEC-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of AI-2003
Coletta R., Bessiere C., O'Sullivan B., Freuder E.C., O'Connell S., Quinqeton J.; (2003) Constraint Acquisition as Semi-Automatic Modeling . In: Springer eds. Proceedings of AI-2003 Cambridge, UK, , 01-DEC-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of the ACM Symposium on Document Engineering
Purvis L., Harrington S., O'Sullivan B., Freuder E.C.; (2003) Creating Personalized Documents: An Optimization Approach . In: * eds. Proceedings of the ACM Symposium on Document Engineering Grenoble, France, , 01-NOV-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of CP-2003
Holland A., O'Callaghan B., O'Sullivan B.; (2003) A Constraint-Aided Conceptual Design Environment for Autodesk Inventor . In: Springer LNCS 2833 eds. Proceedings of CP-2003 Kinsale, Co. Cork, Ireland, , 02-SEP-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of CP-2003
Coletta R., Bessiere C., O'Sullivan B., Freuder E.C., O'Connell S., Quinqueton J.; (2003) Semi-Automatic Modeling by Constraint Acquisition (Short Paper) . In: Springer LNCS 2833 eds. Proceedings of CP-2003 Kinsale, Co. Cork, Ireland, , 01-JAN-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of AICS-2003
Holland A., O'Sullivan B.; (2003) Computational Efficient Pricing for Resource Providers in a Grid Environment . In: * eds. Proceedings of AICS-2003 Dublin, Ireland, , 01-JAN-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of AICS-2003
Kelleher J., O'Sullivan B.; (2003) Evaluation-Based Semiring Meta-Constraints . In: * eds. Proceedings of AICS-2003 Dublin, Ireland, , 01-JAN-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of the 9th International Conference on Concurrent Enterprising
O'Sullivan B., O'Connell S., Freuder E.C.; (2003) Interactive Constraint Acquisition for Concurrent Engineering . In: * eds. Proceedings of the 9th International Conference on Concurrent Enterprising *, , 01-MAY-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of the Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems
Coletta R., Bessiere C., O'Sullivan B., Freuder E. C., O'Connell S., Quinqueton J.; (2003) Semi-Automatic Modeling by Constraint Acquisition . In: * eds. Proceedings of the Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems Kinsale, Co. Cork, Ireland, , 01-SEP-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Recent Advances in Constraints, 2003
Kelleher J., O'Sullivan B.; (2003) Trade-off Generation Using Soft Constraints 2004 . In: *Springer, LNAI 3010 eds. Recent Advances in Constraints, 2003 *, , 01-JAN-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Teacher and learner profiles for constraint acquisition
O'Connell, S., O'Sullivan, B., Freuder, E.C. (2003) Teacher and learner profiles for constraint acquisition   [Details]
(2003)Algorithmic mechanism design and constraints
Holland, A., O'Sullivan, B. (2003) Algorithmic mechanism design and constraints   [Details]
(2003)Semi-automatic modeling by constraint acquisition
Coletta, R.a , Bessière, C.a , O'Sullivan, B.b , Freuder, E.C.b , O'Connell, S.b , Quinqueton, J.a (2003) Semi-automatic modeling by constraint acquisition , pp.812-816   [Details]
(2003)A constraint-aided conceptual design environment for autodesk inventor
Holland, A., O'Callaghan, B., O'Sullivan, B. (2003) A constraint-aided conceptual design environment for autodesk inventor , pp.422-436   [Details]
(2003)Interactive tradeoff generation
Duggan, M., O'Sullivan, B., Freuder, E.C. (2003) Interactive tradeoff generation   [Details]
(2003)Useful explanations
O'Callaghan, B., Freuder, E.C., O'Sullivan, B. (2003) Useful explanations   [Details]
(2003)Optimising the representation and evaluation of semiring combination constraints
Kelleher, J., O'Sullivan, B. (2003) Optimising the representation and evaluation of semiring combination constraints   [Details]
(2003)Workshop on Constraint and Logic Programming in Security Workshop held alongside ICLP-2003, Electronic Notes in Theoretical Computer Science
Bistarelli S., Foley S.N., O'Sullivan B.; (2003) A Constraint Based Framework for Modelling the Cascade Vulnerability Problem Workshop on Constraint and Logic Programming in Security Workshop held alongside ICLP-2003, Electronic Notes in Theoretical Computer Science Mumbai, India, , 01-DEC-03 - 30-DEC-99 [Details]
(2002)CP-02 Workshop on User-Interaction in Constraint Satisfaction Eighth International Conference on Principles and Practice of Constraint Programming - CP 2002
O'Connell S., O'Sullivan B., Freuder E.C.; (2002) Strategies for Interactive Constraint Acquisition . In: * eds. CP-02 Workshop on User-Interaction in Constraint Satisfaction Eighth International Conference on Principles and Practice of Constraint Programming - CP 2002 Ithaca, New York, , 01-SEP-02 - 30-DEC-99 , pp.*-* [Details]
(2002)Proceedings of the 4th International Conference on Recent Advances in Soft Computing - RASC-2002
O'Connell S., O'Sullivan B., Freuder E.C.; (2002) Query Generation for Interactive Constraint Acquisition . In: ISBN:1-84233-0764 eds. Proceedings of the 4th International Conference on Recent Advances in Soft Computing - RASC-2002 *, , 01-DEC-02 - 30-DEC-99 , pp.295-300 [Details]
(2002)Query generation for interactive constraint acquisition
O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2002) Query generation for interactive constraint acquisition , pp.295-300 [Details]
(2002)Strategies for interactive constraint acquisition
O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2002) Strategies for interactive constraint acquisition , pp.62-76 [Details]
(2001)CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001
Freuder E.C., O'Sullivan B.; (2001) Modeling and Generating Tradeoffs for Constraint-Based Configuration . In: * eds. CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 Paphos, Cyprus, , 01-DEC-01 - 30-DEC-99 , pp.*-* [Details]
(2001)IJCAI-01 Workshop on Configuration, Seventeenth International Joint Conference on Artificial Intelligence
Freuder E.C., O'Sullivan, B.; (2001) Modeling and Generating Tradeoffs for Constraint-Based Configuration . In: * eds. IJCAI-01 Workshop on Configuration, Seventeenth International Joint Conference on Artificial Intelligence Seattle, Washington, USA, , 01-AUG-01 - 30-DEC-99 , pp.*-* [Details]
(2001)Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001
Freuder E.C., O'Sullivan B.; (2001) Generating Tradeoffs for Interactive Constraint-Based configuration (Short paper) . In: * eds. Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 Paphos, Cyprus, , 01-NOV-01 - 30-DEC-99 , pp.590-594 [Details]
(2001)CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001
O'Sullivan B., Freuder E.C., O'Connell S.; (2001) Interactive Constraint Acquisition . In: * eds. CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 Paphos, Cyprus, , 01-DEC-01 - 30-DEC-99 , pp.*-* [Details]
(2001)Modeling and generating tradeoffs for constraintbased configuration
Freuder, E,O’Sullivan, Barry (2001) Modeling and generating tradeoffs for constraintbased configuration , pp.38-44 [Details]
(2001)Interactive constraint acquisition
O’Sullivan, Barry,Freuder, Eugene C,O’Connell, Sarah (2001) Interactive constraint acquisition [Details]
(2001)Principles and Practice of Constraint Programming—CP 2001
Freuder, Eugene C,O’Sullivan, Barry (2001) Generating Tradeoffs for Interactive Constraint-Based Configuration . In: Toby Walsh eds. Principles and Practice of Constraint Programming—CP 2001 Cyprus, , 26-NOV-01 - 01-DEC-01 , pp.590-594 [DOI] [Details]
(1999)Integration of Process Knowledge into Design Support Systems
Tichem M., Barry O'Sullivan B.; (1999) Knowledge Processing for Timely Decision Making in Design For X . In: * eds. Integration of Process Knowledge into Design Support Systems Enschede, The Netherlands, , 01-MAR-99 - 30-DEC-99 , pp.219-228 [Details]
(1998)Computer Aided Conceptual Design '98
O'Sullivan B.; (1998) The Paradox of using Constraints to Support Creativity in Conceptual Design . In: * eds. Computer Aided Conceptual Design '98 Lancaster University, , 01-MAY-98 - 30-DEC-99 , pp.99-121 [Details]
(1998)Changing the ways we work: Shaping the ICT-solutions for the Next Century Advances in Design and Manufacturing Series
O'Sullivan B.; (1998) Conflict Management and Negotiation for Concurrent Engineering using Pareto Optimality . In: * eds. Changing the ways we work: Shaping the ICT-solutions for the Next Century Advances in Design and Manufacturing Series Göteborg, Sweden, , 01-OCT-98 - 30-DEC-99 , pp.359-368 [Details]
(1998)Artificial Intelligence in Design '98
O'Sullivan B., James Bowen J.; (1998) A Constraint-Based Approach to Supporting Conceptual Design . In: * eds. Artificial Intelligence in Design '98 Instituto Superior T¨¦cnico, Lisbon, , 01-JUL-98 - 30-DEC-99 , pp.291-308 [Details]
(1997)Proceedings of the 4th International Conference on Concurrent Enterprising
Dongen M. v., O'Sullivan B., Bowen J., Ferguson A. and Baggaley M. ; (1997) Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines . In: * eds. Proceedings of the 4th International Conference on Concurrent Enterprising University of Nottingham, , 01-OCT-97 - 30-DEC-99 , pp.129-138 [Details]
(1997)Proceedings of the First International Conference on Concurrent Enterprising
Van Dongen, M. R. C.; O'Sullivan, B.; Bowen, J. A.; Ferguson, A.; Baggaley, M.; (1997) Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines . In: * eds. Proceedings of the First International Conference on Concurrent Enterprising *, , 10-JAN-97 - 30-DEC-99 , pp.129-138 [Details]
(1997)Proceedings of the 4th International Conference on Concurrent Enterprising (October)
O'Sullivan B.; (1997) A Constraint-Based Support Tool for Early-Stage Design Within a Concurrent Engineering Environment . In: * eds. Proceedings of the 4th International Conference on Concurrent Enterprising (October) University of Nottingham, , 01-OCT-97 - 30-DEC-99 , pp.119-128 [Details]
(1996)Proceedings of the 13th Conference of the Irish Manufacturing Committee (September)
O'Sullivan B. and Lewis H. J.; (1996) A Genetic Algorithm for Flowshop Scheduling . In: * eds. Proceedings of the 13th Conference of the Irish Manufacturing Committee (September) University of Limerick, , 01-SEP-96 - 30-DEC-99 , pp.195-203 [Details]
(1996)Proceedings of the International Conference on Flexible Automation and Integrated Manufacturing (May)
O'Sullivan B. and Lewis H. J.; (1996) The Role of Genetic Algorithms in Production Scheduling . In: * eds. Proceedings of the International Conference on Flexible Automation and Integrated Manufacturing (May) Georgia Institute of Technology, Atlanta, , 01-MAY-96 - 30-DEC-99 , pp.790-799 [Details]

Book Chapters

 YearPublication
(2017)'On the Complexity of Robust Stable Marriage'
Genc, Begum; Siala, Mohamed; Simonin, Gilles; O’Sullivan, Barry; Gao, Xiaofeng; Du, Hongwei; Han, Meng (2017) 'On the Complexity of Robust Stable Marriage' In: Gao, X.; Du, H.; Ha, M (eds). Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II. Lecture Notes in Computer Science, vol 10628. Cham: Springer International Publishing.   [DOI] [Full Text] [Details]
(2017)'Globally optimised energy-efficient data centres'
Pesch, Dirk; Rea, Susan; Torrens, J. Ignacio; Zavrel, Vojtech; Hensen, J.L.M.; Grimes, Diarmuid; O'Sullivan, Barry; Scherer, Thomas; Birke, Robert; Chen, Lydia; Engbersen, Ton; Lopez, Lara; Pages, Enric; Mehta, Deepak; Townley, Jacinta; Tsachouridis, Vassilios (2017) 'Globally optimised energy-efficient data centres' In: ICT - Energy Concepts for Energy Efficiency and Sustainability. London, UK: InTechOpen.   [DOI] [Full Text] [Details]
(2017)'Rotation-Based Formulation for Stable Matching'
Siala, Mohamed; O’Sullivan, Barry; Beck, J. Christopher (2017) 'Rotation-Based Formulation for Stable Matching' In: Beck, J (eds). Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings. Lecture Notes in Computer Science, vol 10416. Cham: Springer International Publishing.   [DOI] [Full Text] [Details]
(2011)'CaseBased Reasoning for Autonomous Constraint Solving'
Derek Bridge, Eoin O'Mahony and Barry O'Sullivan (2011) 'CaseBased Reasoning for Autonomous Constraint Solving' In: Y. Hamadi et al (eds). Autonomous Search. Berlin Heidelberg: Springer-Verlag. [DOI] [Details]
(2007)'The Next 10 Years of Constraint Programming'
Lucas Bordeaux, Barry O'Sullivan and Pascal Van Hentenryck (2007) 'The Next 10 Years of Constraint Programming' In: Frédéric Benhamou, Narendra Jussien, Barry A. O'Sullivan (eds). Trends in Contraint Programming. France: Hermes Science Publications. [Details]

Other

 YearPublication
(2008)Almost 2-Sat Is Fixed-Parameter Tractable (Extended Abstract).
Razgon, I, O'Sullivan, B; (2008) Almost 2-Sat Is Fixed-Parameter Tractable (Extended Abstract). Other [Details]
(2007)Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems.
Razgon, I, O'Sullivan, B; (2007) Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems. Other [Details]
(2004)Boosting Constraint Satisfaction using Decision Trees .
O'Sullivan B., Ferguson A. and Freuder E. C.; (2004) Boosting Constraint Satisfaction using Decision Trees . Other [Details]

Unpublished Reports

 YearPublication
(1998)Using Pareto Optimality to Solve Constraint Satisfaction Optimisation Problems with Multiple Conflicting Objectives.
O'Sullivan B.; (1998) Using Pareto Optimality to Solve Constraint Satisfaction Optimisation Problems with Multiple Conflicting Objectives. Unpublished Reports [Details]
(1997)The CEDAS Galileo6 System.
Ferguson, A.B. and van Dongen, M.R.C. and O'Sullivan, B.A. and Bowen, J.A.; (1997) The CEDAS Galileo6 System. Unpublished Reports [Details]
(1996)Using the Expressive Power of Constraint Programming to Simplify the Task of Expressing DFX Guidelines.
van Dongen, M.R.C. and O'Sullivan, B.A. and Bowen, J.A.; (1996) Using the Expressive Power of Constraint Programming to Simplify the Task of Expressing DFX Guidelines. Unpublished Reports [Details]
(1996)Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines .
Dongen M. v., O'Sullivan B., Bowen J., Ferguson A.; (1996) Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines . Unpublished Reports [Details]

Thesis/Dissertation

 YearPublication
(1999)Constraint-Aided Conceptual Design .
O'Sullivan B.; (1999) Constraint-Aided Conceptual Design . Thesis/Dissertation [Details]
(2005)Corrective Explanation for Interactive Constraint Satisfaction.
O'Callaghan, Barry,O’Sullivan, Barry,Freuder, Eugene C (2005) Corrective Explanation for Interactive Constraint Satisfaction. Thesis/Dissertation [Details]

Technical Publication

 YearPublication
(2014)Transformation-based Feature Computation for Algorithm Portfolios.
Barry Hurley, Serdar Kadioglu, Yuri Malitsky, and Barry O’Sullivan (2014) Transformation-based Feature Computation for Algorithm Portfolios. Technical Publication   [Details]

Professional Activities

Honours and Awards

 YearTitleAwarding Body
2014Distinguished Service Award Association for Constraint Programming
2013UCC Leadership Award (University Staff Recognition Awards) University College Cork
2013Best Application Paper Award Principles and Practice of Constraint Programming
2012Fellow of ECCAI European Coordinating Committee for Artificial Intelligence
2012Senior Member of AAAI Association for the Advancement of Artificial Intelligence
2012SICSA Distinguished Visiting Fellow SICSA - Scottish Informatics and Computer Science Alliance
2007President Association for Constraint Programming
2007Chairman Artificial Intelligence Association of Ireland
2010Finalists EDF-ROADEF/EURO Challenge
2007Winner (Post-Enrollement Category) International Timetabling Competition
2012Finalists Google-ROADEF/EURO Challenge
2007IEEE Ramamoorthy Award IEEE ICTAI Conference
2008Winner International CSP Solver Competition

Professional Associations

 AssociationFunctionFrom / To
International Association for Constraint Programming (ACP) Member01-JAN-05 /
AAAI - American Association of Artificial Intelligence Member01-JAN-01 /
ACM - Association of Computing Machinery Member01-JAN-01 /
IEEE - Institute of Electrical and Electronics Engineers Member01-JAN-01 /
IEEE Computer Society Member01-JAN-01 /
AIAI - Artificial Intelligence Association of Ireland Member01-JAN-96 /
ECCAI - European Coordinating Committee for Artificial Intelligence Member01-JAN-96 /

Patents

 Patent NumberTitleGranted
EP 2255521 A1Feature-based service configuration 01-DEC-10
WO 2009118522 AFeature-based service configuration 01-OCT-09
EP 2106112 A1Feature-based service configuration 30-SEP-09
US 20110019594Feature-based service configuration 27-JAN-11

Conference Contributions

 YearPublication
(2014)IEEE International Conference on Tools with Artificial Intelligence (ICTAI),
Barry O'Sullivan (2014) Energy Management and Data Centres: Where Optimisation and Learning Meet. [Keynote Speaker], IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Limassol, Cyprus . [Details]
(2014)Sino-Foreign-Interchange Conference on Intelligence Science & Intelligent Data Engineering (IScIDE),
Barry O'Sullivan (2014) Challenges in Data-Driven Optimisation. [Keynote Speaker], Sino-Foreign-Interchange Conference on Intelligence Science & Intelligent Data Engineering (IScIDE), Beijing, China . [Details]
(2012)Principles and Practice of Constraint Programming,
Barry O'Sullivan (2012) Where are the Interesting Problems?. [Keynote Speaker], Principles and Practice of Constraint Programming, Quebec City, Canada . [Details]
(2010)Association for the Advancement of AI Conference,
Barry O'Sullivan (2010) Constraint Programming and AI: Challenges, Applications and Opportunities. [Keynote Speaker], Association for the Advancement of AI Conference, Atlanta, Georgia . [Details]
(2010)Association for the Advancement of Artificial Intelligence,
Emanuel Hebrard, Eoin O'Mahony, and Barry O'Sullivan (2010) Tutorial: An Introduction to Constraint Programming & Combinatorial Optimisation through Numberjack. [Invited Seminars/Guest Lectures], Association for the Advancement of Artificial Intelligence, Atlanta, Georgia, USA . [Details]
(2009)Principle and Practice of Constraint Programming,
Barry O'Sullivan and Igor Razgon (2009) Tutorial: Exploiting Fixed-Parameter Tractability in Satisfiability and Constraint Satisfaction. [Invited Seminars/Guest Lectures], Principle and Practice of Constraint Programming, Lisbon, Portugal . [Details]
(2009)International Joint Conference on Artificial Intelligence,
Barry O'Sullivan and Ulrich Junker (2009) Tutorial: Computing Explanations in Problem Solving. [Invited Seminars/Guest Lectures], International Joint Conference on Artificial Intelligence, Pasadena, California, USA . [Details]
(2006)Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming,
Barry O'Sullivan (2006) Constraints and Learning. [Keynote Speaker], Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, Lisbon, Portugal . [Details]

Committees

 CommitteeFunctionFrom / To
Insight Centre for Data Analytics Executive Committee Member2013 /
Association for Constraint Programming Executive Committee Member2005 / 2014
European Coordinating Committee for Artificial Intelligence Board Member2014 /
it@Cork, European Tech Cluster Board Member2014 /
NASA (USA) Scientific Reviewer/
National Science Foundation (USA) Scientific Reviewer/
Suomen Akatemia - Academy of Science (Finland) Scientific Reviewer/
FNSNF - Swiss National Science Foundation (Switzerland) Scientific Reviewer/
EPSRC Scientific Reviewer/
Oxford University, PhD Defence Committee External Examiner/
Kings College London PhD Defence Committee External Examiner/
Cambridge University PhD Defence Committee External Examiner/
St. Andrews University PhD Defence Committee External Examiner/
University of Melbourne PhD Defence Committee External Examiner/
KU Leuven PhD Defence Committee External Examiner/
University of Paris PhD Defence Committee External Examiner/
University of Montpellier PhD Defence Committee External Examiner/
University of Strathcylde PhD Defence Committee External Examiner/
UPC PhD Defence Committee External Examiner/
UPC PhD Defence Committee External ExaminerC/
UCC Governing Body Strategy Committee Elected representative of Academic Council/
UCC Academic Council Research and Innovaton Committee Elected representative of Academic Council/
UCC College of Science, Engineering, and Food Science Management Team Member (as Head of Department)2012 / 2015

Employment

 EmployerPositionFrom / To
University College Cork Senior Lecturer01-OCT-04 / 30-NOV-10
University College Cork Director, Cork Constraint Computation Centre01-JUN-11 / 30-JUN-13
University College Cork Full Professor01-DEC-10 /
University College Cork Director, Insight Centre for Data Analytics01-JUL-13 / 30-JUN-19
University College Cork Head of Department, Computer Science01-SEP-12 / 31-AUG-15
University College Cork College Lecturer01-OCT-01 / 30-SEP-03

Education

 YearInstitutionQualificationSubject
1999University College Cork PHDComputer Science

Journal Activities

 JournalRoleTo / From
Journal Of Artificial Intelligence Research Member of Editorial Board-
Artificial Intelligence Review Member of Editorial Board-
The Open Applied Informatics Journal Member of Editorial Board-
Constraints Member of Editorial Board-

Teaching Activities

Teaching Interests

Recent Postgraduates

 Graduation YearStudent NameInstitutionDegree TypeThesis Title
2014Conor O'Mahony University College CorkPHDReasoning with Sorted-Pareto Dominance and other Qualitative and Partially Ordered Preferences in Soft Constraints
2011Alexandre Papadopoulos University College CorkPHD“Computing Explanations for Interactive Constraint-based Systems
2007Tudor Hulubei University College CorkPHDOptimal Refutations for Constraint Satisfaction Problems.
2006Jerome Kelleher University College CorkPHDEncoding Partitions As Ascending Compositions
2005Alan Holland University College CorkPHDRisk Management for Combinatorial Auctions

Contact details

Search profiles by name

Search profiles by topic

School of Computer Science and Information Technology

Scoil na Ríomheolaíochta agus na Teicneolaíochta Faisnéise

School of Computer Science and Information Technology, Western Gateway Building, University College Cork, Western Road, Cork, Ireland

Top