Barry O'Sullivan's Research Publications

2012 Papers

Barry O'Sullivan. Opportunities and Challenges for Constraint Programming. Proceedings of AAAI 2012, Invited Spotlight Paper.
Michela Milano, Marco Gavanelli, Barry O'Sullivan, Alan Holland. What-If Analysis through Simulation-Optimization Hybrids. Proceedings of the 26th European Conference on Modelling and Simulation, Koblenz, Germany.
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada. A Computational Geometry-based Local Search Algorithm for Planar Location Problems. CPAIOR. May 2012.
[ BibTeX ]
Marco Ruffini, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Linda Doyle, David B. Payne. Deployment case studies of an energy efficient protected LR-PON architecture. Proceedings of ONDM 2012. Apr 2012.
[ PDF | BibTeX ]
Marco Rufini, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Linda Doyle, David B. Payne. Deployment Strategies for Protected Long-Reach PON. IEEE/OSA Journal of Optical Communications and Networking, vol.4, Issue 2, p118 - 129, Jan 2012.
[ PDF | BibTeX ]
Hadrien Cambazard, Emmanuel Hebrard, Barry O'Sullivan, Alexandre Papadopoulos: Local search and constraint programming for the post enrolment-based course timetabling problem. Annals OR 194(1): 111-135 (2012)
[ PDF | BibTeX ]
Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan: A shortest path-based approach to the multileaf collimator sequencing problem. Discrete Applied Mathematics 160(1-2): 81-99 (2012)
[ PDF | BibTeX ]

2011 Papers

Javier Larrosa, Barry O'Sullivan: 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 Springer 2011
Deepak Mehta, Barry O'Sullivan, Luis Quesada: Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering. CP 2011: 606-620
[ PDF | BibTeX ]
Helmut Simonis, Barry O'Sullivan: Almost Square Packing. CPAIOR 2011: 196-209
[ PDF | BibTeX ]
Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle: Designing Resilient Long-Reach Passive Optical Networks. IAAI 2011
[ PDF | BibTeX ]
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada: A Computational Geometry-based Local Search Algorithm for Planar Location Problems. Proceedings of the CP 2011 Workshop on Local Search Techniques in Constraint Satisfaction.
Marco Ruffinin, Barry O'Sullivan, Deepak Mehta, Luis Quesada, F. Farjady, N. Doran, David Payne: A protected LR-PON deployment, Proceedings of the the 2011 UK EPSRC photonic communications workshop.
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle. A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks. Proceedings of AICS 2011.
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle: A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks. ICTAI 2011: 785-792
[ PDF | BibTeX ]
Barry O'Sullivan: An Introduction to Constraint Programming and Combinatorial Optimisation. Reasoning Web 2011: 534
[ PDF | BibTeX ]
Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan: Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. SAC 2011: 901-906
[ PDF | BibTeX ]
Raphael A. Finkel, Barry O'Sullivan: Reasoning about conditional constraint specification problems and feature models. AI EDAM 25(2): 163-174 (2011)
[ PDF | BibTeX ]
Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan: Domino portrait generation: a fast and scalable approach. Annals OR 184(1): 79-95 (2011)
[ PDF | BibTeX ]
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle: A Combinatorial Optimisation Approach to Designing Dual-Parented Long-Reach Passive Optical Networks CoRR abs/1109.1231: (2011)
[ PDF | BibTeX ]
Da》iel Marx, Barry O'Sullivan, Igor Razgon: Finding small separators in linear time via treewidth reduction CoRR abs/1110.4765: (2011)
[ PDF | BibTeX ]
Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, Pascal Van Hentenryck: Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201). Dagstuhl Reports 1(5): 61-83 (2011)
[ PDF | BibTeX ]
Emmanuel Hebrard, Daniel Marx, Barry O'Sullivan, Igor Razgon: Soft Constraints of Difference and Equality. Journal of Artificial Intelligence Research (JAIR) 41: 97-130 (2011)
[ BibTeX ]

2010 Papers

Barry O'Sullivan: Automated Modelling and Solving in Constraint Programming. AAAI 2010
Hadrien Cambazard, Barry O'Sullivan: Propagating the Bin Packing Constraint Using Linear Programming. CP 2010: 129-136
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson: Context-Sensitive Call Control Using Constraints and Rules. CP 2010: 583-597
Emmanuel Hebrard, Eoin O'Mahony, Barry O'Sullivan: Constraint Programming and Combinatorial Optimisation in Numberjack. CPAIOR 2010: 181-185
Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan: Hybrid Methods for the Multileaf Collimator Sequencing Problem. CPAIOR 2010: 56-70
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson: Improving the Global Constraint SoftPrec. ECAI 2010: 1061-1062
Hadrien Cambazard, Tarik Hadzic, Barry O'Sullivan: Knowledge Compilation for Itemset Mining. ECAI 2010: 1109-1110
Barry O'Sullivan, Steven Keady, Enda Keane, Sandra Irwin, John O'Halloran: Data Mining for Biodiversity Prediction in Forests. ECAI 2010: 289-294
Deepak Mehta, Barry O'Sullivan, Luis Quesada: Preferred Explanations for Quantified Constraint Satisfaction Problems. ICTAI (1) 2010: 275-278
Da》iel Marx, Barry O'Sullivan, Igor Razgon: Treewidth Reduction for Constrained Separation and Bipartization Problems. STACS 2010: 561-572
Simon N. Foley, Wayne Mac Adams, Barry O'Sullivan: Aggregating Trust Using Triangular Norms in the KeyNote Trust Management System. STM 2010: 100-115
Hadrien Cambazard, Barry O'Sullivan: Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation". Constraints 15(1): 145-147 (2010)
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson: Developing Approaches for Solving a Telecommunications Feature Subscription Problem. J. Artif. Intell. Res. (JAIR) 38: 271-305 (2010)
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini: Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria. Security and Communication Networks 3(6): 595-610 (2010)
Stefano Bistarelli, Simon Foley, Barry O'Sullivan and Francesco Santini: Semiring-based Frameworks for Trust Propagation in Small-World Networks and Coalition Formation Criteria, Journal of Security and Communication Networks
Context-Sensitive Call Control using Constraints and Rules
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada and Nic Wilson
Proceedings of CP-2010, Springer, 2010.
Automated Modelling and Solving in Constraint Programming
Barry O'Sullivan
Proceedings of AAAI-2010, AAAI Press, 2010.
Knowledge Compilation for Itemset Mining
Hadrien Cambazard, Tarik Hadzic and Barry O'Sullivan
Proceedings of ECAI-2010, IOS Press, 2010.
Improving the Global Constraint SoftPrec
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada and Nic Wilson
Proceedings of ECAI-2010, IOS Press, 2010.
Datamining for Biodiversity Prediction in Forests
Barry O'Sullivan, Steven Keady, Enda Keane, Sandra Irwin and John O'Halloran
Proceedings of PAIS-2010, IOS Press, 2010.
Hybrid Methods for the Multileaf Collimator Sequencing
Hadrien Cambazard, Eoin O'Mahony and Barry O'Sullivan
Proceedings of CPAIOR-2010, Springer, to appear
Constraint Programming and Combinatorial Optimisation in Numberjack
Emmanuel Hebrard, Eoin O'Mahony and Barry O'Sullivan
Proceedings of CPAIOR-2010, Springer, to appear
Treewidth Reduction for Constrained Separation and Bipartization Problems
Daniel Marx, Barry O'Sullivan and Igor Razgon
Proceedings of STACS (Symposium on Theoretical Aspects of Computer Science), forthcoming 2010.
Case-Based Reasoning for Autonomous Constraint Search
Derek Bridge, Eoin O'Mahony and Barry O'Sullivan
Autonomous Search, Chapter ???, accepted.

2009

Local Search and Constraint Programming for the Post Enrolment-based Course Timetabling Problem
Hadrien Cambazard, Emmanuel Hebrard, Barry O'Sullivan and Alexandre Papadopoulos
Annals of Operations Research, under review.
Almost 2-SAT is Fixed-Parameter Tractable
Igor Razgon and Barry O'Sullivan
Journal of Computer and System Sciences, accepted.
A Constraint-Based Approach to Enigma 1225
Hadrien Cambazard, Barry O'Sullivan and Barbara M. Smith
Journal of Computers and Mathematics with Applications, accepted.
Preferential Attachment in Constraint Networks
David Devlin and Barry O'Sullivan
Proceedings of ICTAI 2009 (21st International Conference on Tools with Artificia l Intelligence) November 2009.
Reasoning about Conditional Constraint Specifications
Raphael Finkel and Barry O'Sullivan
Proceedings of ICTAI 2009 (21st International Conference on Tools with Artificia l Intelligence) November 2009.
Enhanced Inference for the Market Split Problem
Tarik Hadzic, Eoin O'Mahony, Barry O'Sullivan and Meinolf Sellmann
Proceedings of ICTAI 2009 (21st International Conference on Tools with Artificia l Intelligence) November 2009.
Towards Diverse Relaxations of Over-Constrained Models
John Horan and Barry O'Sullivan
Proceedings of ICTAI 2009 (21st International Conference on Tools with Artificial Intelligence) November 2009.
Uncovering Functional Dependencies in MDD-Compiled Product Catalogues
Tarik Hadzic and Barry O'Sullivan
Proceedings of RecSys 2009, ACM Press, October 2009.
An Analysis of Lamarckian Learning in Changing Environments
Dara Curran and Barry O'Sullivan
Proceedings of ECAL 2009, Springer LNCS ????, October 2009.
Search Space Extraction
Deepak Mehta, Barry O'Sullivan, Luis Quesada and Nic Wilson
Proceedings of CP 2009, Springer LNCS 5732, September 2009.
Reasoning about Optimal Collections of Solutions
Tarik Hadzic, Alan Holland and Barry O'Sullivan
Proceedings of CP 2009, Springer LNCS 5732, September 2009.
Minimising Decision Tree Size as Combinatorial Optimisation
Christian Bessiere, Emmanuel Hebrard and Barry O'Sullivan
Proceedings of CP 2009, Springer LNCS 5732, September 2009.
Constraints of Difference and Equality: A Complete Taxonomic Characterisation
Emmanuel Hebrard, Daniel Marx, Barry O'Sullivan and Igor Razgon
Proceedings of CP 2009, Springer LNCS 5732, September 2009.
Compiling all Possible Conflicts of a CSP
Alexandre Papadopoulos and Barry O'Sullivan
Proceedings of CP 2009, Springer LNCS 5732, September 2009.
A Soft Global Precedence Constraint
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, and Nic Wilson
Proceedings of IJCAI 2009, July 2009.
Towards an Understanding of Real-World Problem Structures - Scale-Free Constraint Networks
David Devlin and Barry O'Sullivan
Proceedings of IJCAI 2009 Doctoral Consortium, July 2009.
Uncovering Functional Dependencies in MDD-Compiled Product Catalogues
Tarik Hadzic and Barry O'Sullivan
Proceedings of IJCAI 2009 Workshop on Intelligent Techniques for Web Personalization and Recommendation, July 2009.
Proceedings of the 2009 ERCIM Workshop on Constraint Solving and Constraint Logic Programming
Javier Larrosa and Barry O'Sullivan (editors)
Technical University of Catalunya, June 2009.
Impact of Topology and Traffic on Physical Layer Monitoring in Transparent Networks
Daniel C. Kilper, Alex Ferguson, Barry O'Sullivan and Steve Korotky
Invited Paper to the Optical Fiber Communication (OFC) Conference, 2009.
A Shortest Path-based Approach to the Multileaf Collimator Sequencing Problem
Hadrien Cambazard, Eoin O'Mahony and Barry O'Sullivan
Proceedings of CP-AI-OR 2009, forthcoming May 2009.
Treewidth Reduction for Constrained Separation and Bipartization Problems
Daniel Marx, Barry O'Sulliva and Igor Razgon
CoRR abs/0902.3780: (2009)
From Marriages to Coalitions: A Soft CSP Approach
Stefano Bistarelli, Simon Foley, Barry O'Sullivan and Francesco Santini
Recent Advances in Constraints, to appear.

2008

An FPT Algorithm for Directed Feedback Vertex Set
Jianer Chen, Yang Liu, Songjian Lu, Barry O'Sullivan and Igor Razgon
Journal of the ACM (JACM), to appear
Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation
Hadrien Cambazard and Barry O'Sullivan
Constraints Journal, forthcoming April 2008.
A Unifying Framework for Generalized Constraint Learning
Xuan-Ha Vu and Barry O'Sullivan
International Journal on Artificial Intelligence Tools, forthecoming.
Layer Compression in Decision Diagrams
Tarik Hadzic, Esben Rune Hansen and Barry O'Sullivan
Proceedings of ICTAI 2008, forthcoming
Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada and Nic Wilson
Proceedings of ICTAI 2008, forthcoming
Critique Graphs for Catalogue Navigation
Tarik Hadzic and Barry O'Sullivan
Proceedings of the ACM Conference on Recommender Systems (RecSys) 2008, forthcoming
Relaxations for Compiled Over-Constrained Problems
Alexandre Papadopoulos and Barry O'Sullivan
Proceedings of CP 2008, forthcoming
Reformulating Positive Table Constraints using Functional Dependencies
Hadrien Cambazard and Barry O'Sullivan
Proceedings of CP 2008, forthcoming
A Soft Constraint of Equality: Complexity and Approximability
Emmanuel Hebrard, Barry O'Sullivan and Igor Razgon
Proceedings of CP 2008, forthcoming
Approximate Compilation of Constraints into Multivalued Decision Diagrams
Tarik Hadzic, John Hooker, Barry O'Sullivan and Peter Tiedemann
Proceedings of CP 2008, forthcoming
Search Strategies for Rectangle Packing
Helmut Simonis and Barry O'Sullivan
Proceedings of CP 2008, forthcoming
Solving a Telecommunications Feature Subscription Configuration Problem
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada and Nic Wilson
Proceedings of CP 2008, forthcoming
Impact of Wavelength Route Correlation on the Optimal Placement of Optical Monitors in Transparent Mesh Networks
Alex Ferguson, Barry O'Sullivan, Daniel C. Kilper
Proceedings of the European Conference on Optical Communications (ECOC), September 2008.
Proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science
Derek Bridge, Ken Brown, Barry O'Sullivan and Humphrey Sorensen (editors)
University College Cork, August 2008.
Satisfiability as a Classification Problem
David Devlin, Barry O'Sullivan
Proceedings of the 19th Conference on Artificial Intelligence and Cognitive Science, August 2008.
[ pdf ]

Using Case-based Reasoning in an Algorithm Portfolio for Constraint Solving
Eoin O'Mahony, Emmanuel Hebrard, Alan Holland, Conor Nugent and Barry O'Sullivan
Proceedings of the 19th Conference on Artificial Intelligence and Cognitive Science, August 2008.
Towards Category Management for Combinatorial Auctions
Chenjie Zhu, Alan Holland and Barry O'Sullivan
Proceedings of the 19th Conference on Artificial Intelligence and Cognitive Science, August 2008.
Local Search and Constraint Programming for the Post-Enrolment-based Course Timetabling Problem
Hadrien Cambazard, Emmanuel Hebrard, Barry O'Sullivan and Alexandre Papadopoulos
Proceedings of PATAT 2008, August 2008.
Describes our winning entry for the 2007 International Timetabling Competition (Track 2).
A BDD Approach to the Feature Subscription Problem
Tarik Hadzic, David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada and Nic Wilson
Proceedings of Prestigous Applications of Intelligent Systems (PAIS) 2008, forthcoming July 2008.
A Personalisable Internet Telephony Service
David Lesaint, John Ly, Deepak Mehta, Barry O'Sullivan, Luis Quesada and Nic Wilson
ECAI 2008 Systems Demonstration, forthcoming July 2008.
Beyond Valid Domains in Interactive Configuration
Tarik Hadzic and Barry O'Sullivan
Proceedings of the ECAI 2008 Workshop on Configuration, forthcoming July 2008.
On Automata, MDDs and BDDs in Constraint Satisfaction
Tarik Hadzic, Esben Rune Hansen and Barry O'Sullivan
Proceedings of the ECAI 2008 Workshop on Inference Methods based on Graphical Structures of Knowledge, forthcoming July 2008.
A Hybrid Approach to Domino Portrait Generation
Hadrien Cambazard, John Horan, Eoin O'Mahony and Barry O'Sullivan
Proceedings of AAAI-2007 (Intelligent Systems Demonstration), forthcoming July 2008.
Personalisation of Telecommunications Services as Combinatorial Optimisation
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson
Proceedings of Innovative Applications of Artificial Intelligence (IAAI) 2008, forthcoming July 2008.
Almost 2-SAT is Fixed-Parameter Tractable
Igor Razgon and Barry O'Sullivan
Proceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP), forthcoming July 2008.
Generalizing Global Constraints Based on Network Flows
Igor Razgon, Barry O'Sullivan and Gregory M. Provan
Recent Advances in Constraints, forthcoming 2008.
Fast and Scalable Domino Portrait Generation
Hadrien Cambazard, John Horan, Eoin O'Mahony and Barry O'Sullivan
Proceedings of CP-AI-OR 2008, forthcoming June 2008.
Using Global Constraints for Rectangle Packing
Helmut Simonis and Barry O'Sullivan
Proceedings of teh First Workshop on Bin Packing and Placement Constraints, forthcoming June 2008.
A Fixed-Parameter Algorithm for the Directed Feedback Vertex Set Problem
Jianer Chen, Yang Liu, Songjian Lu, Barry O'Sullivan and Igor Razgon
Proceedings of 40th Annual ACM Symposium on Theory of Computing (STOC 2008), May 2008.
Ranked amongst the best papers of the conference. Invited for a Special Issue of SIAM Journal on Computing.
Almost 2-SAT is Fixed-Parameter Tractable
Igor Razgon and Barry O'Sullivan
arXiv:0801.1300v2 [cs.DS], 2008.
Transparent Path Length Optimized Optical Monitor Placement in Transparent Mesh Networks
Alex Ferguson, Barry O'Sullivan, Daniel C. Kilper
Optical Fiber Communication (OFC) Conference, February 2008.
This work will form the base of an invited paper at OFC 2009.

2007

Recognizing Free-form Hand-sketched Constraint Network Diagrams by Combining Geometry and Context
Tracy Hammond and Barry O'Sullivan
Proceedings of Eurographics Ireland, December 2007.
Semiring-based Constraint Acquisition
Xuan Ha Vu and Barry O'Sullivan
Proceedings of ICTAI-2007, October 2007.
Awarded the IEEE ICTAI Ramamoorthy Award for best paper.
Constraint Symmetry for the Soft CSP
Barbara M. Smith, Stefano Bistarelli and Barry O'Sullivan
Proceedings of CP 2007, Short paper, September 2007
Finding the Most Satisfiable Maximal Relaxation in Over-Constrained Problems
Alexandre Papadopoulos and Barry O'Sullivan
Proceedings of AICS-2007, August 2007.
Automated Constraint Reformulation for Explanation
Hadrien Cambazard and Barry O'Sullivan
Proceedings of AICS-2007, August 2007.
Awarded the best paper prize (sponsored by Google).
ConfigLab: A Conceptual Design Tool with Corrective Explanations Supported by Sketch-Based Design Reuse
Noel Titus, Barry O'Sullivan and Karthik Ramani
Proceedings of ICED-2007, August 2007.
Directed Feedback Vertex Set is Fixed-Parameter Tractable
Igor Razgon and Barry O'Sullivan
arXiv:0707.0282 [cs.DS], 2007.
(Presented at Dagstuhl Seminar 07281: Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs, July 2007)
Representative Explanations for Over-Constrained Problems
Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, Pearl Pu
Proceedings of AAAI-2007, July 2007.
Generating and Solving Logic Puzzles through Constraint Satisfaction
Barry O'Sullivan and John Horan
Proceedings of AAAI-2007 (Intelligent Systems Demonstration), July 2007.
Proceedings of the AAAI Workshop on Configuration
Barry O'Sullivan and Klas Orsvarn (eds.)
Workshop Programme of AAAI-2007, AAAI Technical Report WS07-03, July 2007.
[ link ]

Generalised Constraint Acquisition
Xuan Ha Vu and Barry O'Sullivan
Proceedings of SARA-2007 (Research Summary), July 2007.
A Reformulation-based Approach to Explanation in Constraint Satisfaction
Hadrien Cambazard and Barry O'Sullivan
Proceedings of SARA-2007 (Research Summary), July 2007.
The Next 10 Years of Constraint Programming
Lucas Bordeaux, Barry O'Sullivan and Pascal Van Hentenryck (eds.)
Chapter 3, Trends in Constraint Programming
Hermes Science Publications, 2007.
Trends in Constraint Programming
Frederic Benhamou, Narendra Jussien and Barry O'Sullivan (eds.)
Hermes Science Publications, 2007.
Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems
Igor Razgon and Barry O'Sullivan
Recent Advances in Constraints, LNAI, Springer, forthcoming 2007.
Quantified Constraint Satisfaction: From Relaxations to Explanations
Alex Ferguson and Barry O'Sullivan
Proceedings of IJCAI-2007, January 2007.
[pdf] [BibTeX]
Distance Constraints in Constraint Satisfaction
Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh
Proceedings of IJCAI-2007, January 2007.
Query-driven Constraint Acquisition
Christian Bessiere, Remi Coletta, Barry O'Sullivan and Mathias Paulin
Proceedings of IJCAI-2007, January 2007.
Truthful Risk-Managed Combinatorial Auctions
Alan Holland, Barry O'Sullivan
Proceedings of IJCAI-2007, January 2007.
Conditional Symmetry for the Soft CSP
Barbara M. Smith, Stefano Bistarelli and Barry O'Sullivan
Proceedings of the International Symmetry Conference, January 2007.
Explanation in Product Configuration
Albert Haag, Ulrich Junker and Barry O'Sullivan
IEEE Intelligent Systems, January/February 2007.

2006

Special Issue: Constraints and Design
Barry O'Sullivan
AIEDAM Journal, Volume 20, Number 4, November 2006
Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration
Simon N. Foley, William Fitzgerald, Stefano Bistarelli, Barry O'Sullivan, Micheal O Foghlu
Proceedings of 6th IEEE International Workshop on IP Operations and Management
October 2006
Relaxations and Explanations for Quantified Constraint Satisfaction Problems
Alex Ferguson, Barry O'Sullivan
Proceedings of CP-2006, Short Paper, September 2006
Failure Analysis in Backtrack Search for Constraint Satisfaction
Tudor Hulubei, Barry O'Sullivan
Proceedings of CP-2006, Short Paper, September 2006
Heavy-tailed Runtime Distributions: Heuristics, Models and Optimal Refutations
Tudor Hulubei, Barry O'Sullivan
Proceedings of CP-2006, Short Paper, September 2006
Generalizing Global Constraint Based on Network Flows
Igor Razgon, Barry O'Sullivan, and Gregory M. Provan
Proceedings of the CP 2006 Workshop on Constraint Modelling and Reformulation, September 2006.
Automata for Nogood Recording in Constraint Satisfaction Problems
4, September 2006.
Guiding Search using Constraint-level Advice
Radoslaw Szymanek, Barry O'Sullivan
Proceedings of ECAI-2006, August 2006
A Survey of Explanation Techniques for Configurators
Albert Hagg, Ulrich Junker and Barry O'Sullivan
Proceedings of ECAI-2006 Workshop on Configuration, August 2006
Approximate Compilation for Embedded Model-based Reasoning
Barry O'Sullivan and Gregory M. Provan
Proceedings of AAAI-2006, July, 2006
Acquiring Constraint Networks using a SAT-based Version Space Algorithm
Christian Bessiere, Remi Coletta, Frederic Koriche and Barry O'Sullivan
Proceedings of AAAI-2006 (Nectar Track), July, 2006
Tree-structured Constraint Satisfaction Problems Revisited
Igor Razgon, Barry O'Sullivan, and Gregory Provan
Proceedings of CSCLP 2006
June, 2006
The Impact of Search Heuristics on Heavy-Tailed Behaviour
Tudor Hulubei and Barry O'Sullivan
Constraints Journal, Volume 11, Issue 2-3, 2006
Introduction to the Special Issue of the 11th International Conference on Principles and Practice of Constraint Programming
Barry O'Sullivan and Peter van Beek
Constraints Journal, Volume 11, Issue 2-3, 2006

2005

A Soft Constraint-based Approach to the Cascade Vulnerability Problem
Stefano Bistarelli, Simon N. Foley and Barry O'Sullivan
Journal of Computer Security, Volume 13, Issue 5, pp. 699-720, 2005.
Automated Requirements Elicitation for Supply Chain Management
Barry O'Sullivan, Ken Brown, Alex Ferguson, Eugene C. Freuder and Michael Schabel
Proceedings of Workshop on Supply Chain Management and ICT, Groningen, Netherlands
November 2005.
A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems
Christian Bessiere, Remi Coletta, Frederic Koriche and Barry O'Sullivan
Proceedings of ECML-2005, Springer LNCS
October 2005
Proceedings of the First International Workshop on Applications of Constraint Satisfaction and Programming to Computer Security Problems
Giampaolo Bella, Stefano Bistarelli, Simon N. Foley and Barry O'Sullivan (editors)
Held alongside CP-2005
October 2005
Proceedings of the First International Workshop on Constraints and Design
Laurent Granvilliers and Barry O'Sullivan (editors)
Held alongside CP-2005
October 2005
Search Heuristics and Heavy-Tailed Behaviour
Tudor Hulubei and Barry O'Sullivan
Proceedings of CP-2005, Springer LNCS
October 2005
One the top five papers (out of 164 submissions) selected for journal publication.
Generating Corrective Explanations for Interactive Constraint Satisfaction
Barry O'Callaghan, Barry O'Sullivan and Eugene C. Freuder
Proceedings of CP-2005, Springer LNCS
October 2005
Multilevel Security and Quality of Protection
Simon Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert and Garret Swart
Proceedings of Quality of Protection, Springer Advances in Information Security Series.
September 2005
Optimal Refutations for Constraint Satisfaction Problems
Tudor Hulubei and Barry O'Sullivan
Proceedings of IJCAI-2005
July, 2005
Corrective Explanation for Interactive Constraint Satisfaction
Barry O'Sullivan, Barry O'Callaghan and Eugene C. Freuder
Proceedings of IJCAI-2005, Poster
July, 2005
A Decision Tree Learning and Constraint Satisfaction Hybrid for Interactive Problem Solving
Barry O'Sullivan, Alex Ferguson and Eugene C. Freuder
Proceedings of IJCAI-2005 Workshop on Configuration
July, 2005
Finding Diverse and Similar Solutions in Constraint Programming
Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh
Proceedings of AAAI-2005
July, 2005
Weighted Super Solutions for Constraint Programs
Alan Holland and Barry O'Sullivan
Proceedings of AAAI-2005
July, 2005
Robust Solutions for Combinatorial Auctions
Alan Holland and Barry O'Sullivan
Proceedings of ACM EC-2005
June, 2005
Building Reactive Characters for Dynamic Gaming Environments
Peter Blackburn and Barry O'Sullivan
Proceedings of IEEE Computational Intelligence in Games, IEEE Press
April 2005.
Timid Acquisition of Constraint Satisfaction Problems
Sarah O'Connell, Barry O'Sullivan and Eugene C. Freuder
Proceedings of ACM SAC-2005
March 2005.
Super Solutions for Combinatorial Auctions
Alan Holland and Barry O'Sullivan
ERCIM/CoLogNet International Workshop, CSCLP 2004, Revised Selected and Invited Papers
LNCS 3419, Springer, pp.187-200, 2005

2004

Boosting Constraint Satisfaction using Decision Trees
Barry O'Sullivan, Alex Ferguson and Eugene C. Freuder
Proceedings of IEEE ICTAI-2004, IEEE Press
November 2004.
Encoding Partial Constraint Satisfaction in the Semiring-based Framework for Soft Constraints
Stefano Bistarelli, Eugene C. Freuder and Barry O'Sullivan
Proceedings of IEEE ICTAI-2004, IEEE Press
November 2004.
Introduction to the Special Issue on User-Interaction in Constratint Satisfaction
Barry O'Sullivan
Constraints Journal, Volume 9, Number 4
October 2004.
Leveraging the Learning Power of Examples in Automated Constraint Acquisition
Christian Bessiere, Remi Coletta, Eugene C. Freuder and Barry O'Sullivan
Proceedings of CP-2004, Springer, LNCS 3258
Toronto, September 2004.
Boosting Constraint Satisfaction using Decision Trees
Barry O'Sullivan, Alex Ferguson and Eugene C. Freuder
Proceedings of the Irish Conference on Artificial Intelligence and Cognitive Science, Poster Paper
September 2004.
Boosting Constraint Satisfaction using Decision Trees
Barry O'Sullivan, Alex Ferguson and Eugene C. Freuder
Proceedings of the CP-2004 Workshop on CSP Techniques with Immediate Application
September 2004.
Reasoning about Secure Interoperation using Soft Constraints
Stefano Bistarelli, Simon Foley and Barry O'Sullivan
Proceedings of FAST-2004 - Formal Aspects of Security and Trust, Kluwer Academic Publishers
Toulouse, August 2004
Super Solutions for Combinatorial Auctions
Alan Holland and Barry O'Sullivan
Proceedings of the ECAI-2004 Workshop on Modelling and Solving Problems with Constraints
Valencia, August 2004.
Flexible Generalized Vickrey Auctions using Constraint Programming
Alan Holland and Barry O'Sullivan
Proceedings of the ECAI-2004 Workshop on Modelling and Solving Problems with Constraints
Valencia, August 2004.
Super Solutions for Combinatorial Auctions
Alan Holland and Barry O'Sullivan
Proceedings of CSCLP 2004: Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming
Lausanne, June 2004.
Combining Branch&Bound and SBDD to solve Soft CSPs
Stefano Bistarelli and Barry O'Sullivan
Proceedings of CSCLP 2004: Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming
Lausanne, June 2004.
Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks using Soft Constraints
Stefano Bistarelli, Simon Foley and Barry O'Sullivan
Proceedings of AAAI/IAAI-2004 (16th Innovative Applications of AI Conference), AAAI Press
San Jose, USA, July 2004.
Towards Fast Vickrey-Pricing using Constraint Programming
Alan Holland and Barry O'Sullivan
Artificial Intelligence Review, Volume 21, Issue 3-4, pp.335-352, 2004.
Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor
Alan Holland, Barry O'Callaghan and Barry O'Sullivan
Proceedings of IEA/AIE, Springer, LNCS 3029
Canada, May, 2004.

Tradeoff Generation using Soft Constraints
Stefano Bistarelli, Jerome Kelleher and Barry O'Sullivan
Recent Advances in Constraints, 2003, Springer, LNAI 3010
2004.

Evaluation-Based Semiring Meta-Constraints
Jerome Kelleher and Barry O'Sullivan
Proceedings of MICAI, Springer, LNCS 2972
Mexico, April, 2004.

Modelling and Detecting the Cascade Vulnerability Problem using Soft Constraints
Stefano Bistarelli, Simon Foley and Barry O'Sullivan
Proceedings of ACM Symposium on Applied Computing (SAC-2004), ACM Press
Nicosia, Cyprus, March 2004.

2003

A Constraint-Based Framework for the Cascade Vulnerability Problem
Stefano Bistarelli, Simon N. Foley and Barry O'Sullivan
Proceedings of COLOPS-2003 Workshop held alongside ICLP-2003
Mumbai, India, December 2003.

Symmetry Breaking in Soft CSPs
Stefano Bistarelli, Jerome Kelleher and Barry O'Sullivan
Proceedings of AI-2003, Springer
Cambridge, UK, December 2003.

A Theoretical Framework for Tradeoff Generation using Soft Constraints
Stefano Bistarelli and Barry O'Sullivan
Proceedings of AI-2003, Springer
Cambridge, UK, December 2003.

Constraint Acquisition as Semi-Automatic Modeling
Remi Coletta, Christian Bessiere, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Joel Quinqueton
Proceedings of AI-2003, Springer
Cambridge, UK, December 2003.

Creating Personalized Documents: An Optimization Approach
Lisa Purvis, Steven Harrington, Barry O'Sullivan, Eugene C. Freuder
Proceedings of the ACM Symposium on Document Engineering
Grenoble, France, November 2003.

Symmetry Breaking in Soft CSPs
Stefano Bistarelli, Jerome Kelleher and Barry O'Sullivan
Proceedings of Soft Constraints Workshop
Kinsale, Cork, Ireland, September 2003.

Evaluation-Based Semiring Meta-Constraints
Jerome Kelleher and Barry O'Sullivan
Proceedings of Soft Constraints Workshop
Kinsale, Cork, Ireland, September 2003.

Semi-Automatic Modeling by Constraint Acquisition
Remi Coletta, Christian Bessiere, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Joel Quinqueton
Proceedings of the Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems
Kinsale, Cork, Ireland, September 2003.

A Constraint-Aided Conceptual Design Environment for Autodesk Inventor
Alan Holland, Barry O'Callaghan, Barry O'Sullivan
Proceedings of CP-2003, LNCS 2833, Springer
Kinsale, Cork, Ireland, September 2003.

Semi-Automatic Modeling by Constraint Acquisition
Remi Coletta, Christian Bessiere, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Joel Quinqueton
Proceedings of CP-2003, Short paper, LNCS 2833, Springer
Kinsale, Cork, Ireland.

Computational Efficient Pricing for Resource Providers in a Grid Environment
Alan Holland, Barry O'Sullivan
Proceedings of AICS-2003
Dublin, Ireland.

Evaluation-Based Semiring Meta-Constraints
Jerome Kelleher, Barry O'Sullivan
Proceedings of AICS-2003, Poster Paper
Dublin, Ireland.

A Study of Query Generation Strategies for Interactive Constraint Acquisition
Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder
Applications and Science in Soft Computing, Advances in Soft Computing Series, Springer Verlag, 2003.

A Constraint-Aided Conceptual Design Environment for Autodesk Inventor
Alan Holland, Barry O'Callaghan, Barry O'Sullivan
Proceedings of the ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming,
Budapest, Hungary, July 2003.

Efficient Vickery-Pricing for Grid Service Providers
Alan Holland, Barry O'Sullivan
Proceedings of the ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming,
Budapest, Hungary, July 2003.

Modelling Tradeoffs Using Soft Constraints
Stefano Bistarelli, Barry O'Sullivan
Proceedings of the ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming,
Budapest, Hungary, July 2003.

Interactive Constraint Acquisition for Concurrent Engineering
Barry O'Sullivan, Sarah O'Connell, Eugene C. Freuder
Proceedings of the 9th International Conference on Concurrent Enterprising - ICE-2003, June 2003.

Recent Advances in Constraints
Barry O'Sullivan (Editor)
Springer Lecture Notes in Artificial Intelligence, Vol.2627, 2003.

2002

Query Generation for Interactive Constraint Acquisition
Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder
Proceedings of the 4th International Conference on Recent Advances in Soft Computing - RASC-2002
ISBN: 1-84233-0764, pp.295-300, December 2002.

Interactive Constraint-Aided Conceptual Design
Barry O'Sullivan
Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), Vol.16, Issue 4, pp.303-328, 2002.
Strategies for Interactive Constraint Acquisition
Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder
CP-02 Workshop on User-Interaction in Constraint Satisfaction
Eight International Conference on Principles and Practice of Constraint Programming - CP 2002, Ithaca, New York, September, 2002.
Proceedings of the Second International Workshop on User-Interaction in Constraint Satisfaction
Barry O'Sullivan, Eugene C. Freuder (eds.)
In association with the Eight International Conference on Principles and Practice of Constraint Programming - CP 2002, Ithaca, New York, September, 2002.
[ see workshop site for notes ]
Constraint-Based Product Structuring for Configuration
Barry O'Sullivan
ECAI-2002 Workshop on Configuration
Fifteenth European Conference on Artificial Intelligence, Lyon, France, July 2002.
Proceedings of the Joint ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming
Krzysztof R. Apt, Francois Fages, Eugene Freuder, Barry O'Sullivan, Francesca Rossi and Toby Walsh (eds.)
Cork Constraint Computation Centre (4C), University College Cork, Ireland, 19th-21st June 2002.
[ see workshop site for notes ]

2001

Constraint-Aided Conceptual Design
Barry O'Sullivan
Professional Engineering Publishing, Suffolk, UK, ISBN: 1-86058-335-0, December 2001.

Proceedings of the First International Workshop on User-Interaction in Constraint Satisfaction
Barry O'Sullivan, Eugene C. Freuder (eds.)
In association with the Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001, Paphos, Cyprus, December 1st, 2001.
[ see workshop site for notes ]
Interactive Constraint Acquisition
Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell
CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001, Paphos, Cyprus, December 1st, 2001.
[ postscript ]
Modeling and Generating Tradeoffs for Constraint-Based Configuration
Eugene C. Freuder, Barry O'Sullivan
CP-01 Workshop on User-Interaction in Constraint Satisfaction
Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001, Paphos, Cyprus, December 1st, 2001.
[ postscript ]
Generating Tradeoffs for Interactive Constraint-Based Configuration
Eugene C. Freuder, Barry O'Sullivan
Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001, Short paper, pp 590-594, Paphos, Cyprus, November 2001.
[ postscript ]
Modeling and Generating Tradeoffs for Constraint-Based Configuration
Eugene C. Freuder, Barry O'Sullivan
IJCAI-01 Workshop on Configuration, Seventeenth International Joint Conference on Artificial Intelligence, Seattle, Washington, USA, August 2001.
[ postscript ]

2000

The Design Advisor: Capturing Design Practices and RFI/EMI Concerns
Barry O'Sullivan
Board Authority, Vol.2, No.4, pp 24-27, December 2000.
[ PDF ]

A New EDA Technology for Enabling Company-Specific Design Advice Barry O'Sullivan, James Bowen, Alex Ferguson
Proceedings of the User Forum of the Design Automation and Test in Europe Conference
Paris, March 2000 pp 197- 201.

Integrating Company-Specific Design Guidelines into the PCB Design Process
Barry O'Sullivan
Proceedings of the PCB Symposium of the Design Automation and Test in Europe Conference
Paris, March 2000.

1999

Proceedings of the Tenth Irish Conference on Artificial Intelligence & Cognitive Science (AICS'99)
Derek Bridge, Ruth Byrne, Barry O'Sullivan, Steven Prestwich and Humphrey Sorensen (eds.)
Department of Computer Science, University College Cork, September 1999, ISBN 0-9536826-0-9.

Constraint-Aided Conceptual Design
Barry O'Sullivan
PhD Thesis, Department of Computer Science, University College Cork, July 1999.

A New Technology for Enabling Computer-Aided EMC Analysis
Barry O'Sullivan, James Bowen, Alex Ferguson
Workshop on CAD Tools for EMC, Proceedings of EMC York 1999
University of York, UK, July 1999.

Knowledge Processing for Timely Decision Making in Design For X
Marcel Tichem, Barry O'Sullivan
Integration of Process Knowledge into Design Support Systems
Enschede, The Netherlands, March 1999, pages 219-228.

1998

Supporting the Design of Product Families through Constraint-Based Reasoning
Barry O'Sullivan
Proceedings of the 4th WDK Workshop on Product Structuring
Delft Technical University, The Netherlands, October 1998.

Using Pareto Optimality to Solve Constraint Satisfaction Optimisation Problems with Multiple Conflicting Objectives
Barry O'Sullivan
Technical Report TR-98-09
Department of Computer Science, National University of Ireland, Cork, October 1998.

Conflict Management and Negotiation for Concurrent Engineering using Pareto Optimality"
Barry O'Sullivan
Changing the ways we work: Shaping the ICT-solutions for the Next Century
Advances in Design and Manufacturing Series, Göteborg, Sweden, October 1998, pages 359-368.

A Constraint-Based Approach to Supporting Conceptual Design
Barry O'Sullivan, James Bowen
Artificial Intelligence in Design '98
Instituto Superior Técnico, Lisbon, July 1998, pages 291-308.

The Paradox of using Constraints to Support Creativity in Conceptual Design
Barry O'Sullivan
Computer Aided Conceptual Design '98
Lancaster University, May 1998, pages 99-121.

1997

Interfacing a Constraint Programming Language with an existing Electronics CAD Package
Marc van Dongen, Barry O'Sullivan, James Bowen, Alex Ferguson
ERCIM/COMPULOG Workshop on Constraints
Schloss Hagenberg, Austria, October 1997.

A Constraint-Based Support Tool for Early-Stage Design within a Concurrent Engineering Environment
Barry O'Sullivan
Proceedings of the 4th International Conference on Concurrent Enterprising
University of Nottingham, October 1997, pages 119-28.

Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines
Marc van Dongen, Barry O'Sullivan, James Bowen, Alex Ferguson and Mike Baggaley
Proceedings of the 4th International Conference on Concurrent Enterprising
University of Nottingham, October 1997, pages 129-138.

From Functional Design Representation to Constraint-Based Support for Conceptual Design
Barry O'Sullivan
PhD Workshop on Design Methodology
NTNU, Trondheim, Norway, May 1997.

1996 and earlier

Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines
Marc van Dongen, Barry O'Sullivan, James Bowen, Alex Ferguson
Department of Computer Science, University College Cork, Technical Report TR-UCC-CS-CPG-96-01, June 1996.

The Role of Genetic Algorithms in Production Scheduling
Barry O'Sullivan and Huw J. Lewis
Proceedings of the International Conference on Flexible Automation and Integrated Manufacturing
Georgia Institute of Technology, Atlanta, May 1996, pages 790-799.

A Genetic Algorithm for Flowshop Scheduling
Barry O'Sullivan and Huw J. Lewis
Proceedings of the 13th Conference of the Irish Manufacturing Committee
University of Limerick, September 1996, pages 195-203.