Publications

2019 Papers

  • Tadhg Fitzgerald, Barry O'Sullivan: Candidate Selection and Instance Ordering for Realtime Algorithm Configuration. Fundam. Inform. 166(2): 141-166 (2019)
  • Mohamed Siala, Barry O'Sullivan: Combinatorial search from an energy perspective. Inf. Process. Lett. 148: 23-27 (2019) [j44] Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan: Complexity Study for the Robust Stable Marriage Problem. Theor. Comput. Sci. 775: 76-92 (2019) [c197] Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan: Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem. CP 2019: 108-125 [c196] Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan: A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem. CPAIOR 2019: 146-162 [c195] Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan: An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem. CPAIOR 2019: 320-336 [c194] Andrea Visentin, Alessia Nardotto, Barry O'Sullivan: Predicting Judicial Decisions: A Statistically Rigorous Approach and a New Ensemble Classifier. ICTAI 2019: 1820-1824 [c193] Muhammad Imran Khan, Simon N. Foley, Barry O'Sullivan: PriDe: A Quantitative Measure of Privacy-Loss in Interactive Querying Settings. NTMS 2019: 1-5 [i20] Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich: Generating Difficult SAT Instances by Preventing Triangles. CoRR abs/1903.03592 (2019) [i19] Guillaume Escamocher, Barry O'Sullivan: Solving Logic Grid Puzzles with an Algorithm that Imitates Human Behavior. CoRR abs/1910.06636 (2019) 2018 [j43] Vincent Armant, Milan De Cauwer, Kenneth N. Brown, Barry O'Sullivan: Semi-online task assignment policies for workload consolidation in cloud computing systems. Future Gener. Comput. Syst. 82: 89-103 (2018) [j42] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada: A constraint-based parallel local search for the edge-disjoint rooted distance-constrained minimum spanning tree problem. J. Heuristics 24(3): 359-394 (2018) [j41] Guillaume Escamocher, Barry O'Sullivan: Pushing the frontier of minimality. Theor. Comput. Sci. 745: 172-201 (2018) [c192] Muhammad Imran Khan, Barry O'Sullivan, Simon N. Foley: Towards Modelling Insiders Behaviour as Rare Behaviour to Detect Malicious RDBMS Access. BigData 2018: 3094-3099 [c191] Guillaume Escamocher, Barry O'Sullivan: Three-Dimensional Matching Instances Are Rich in Stable Matchings. CPAIOR 2018: 182-197 [c190] Guillaume Escamocher, Mohamed Siala, Barry O'Sullivan: From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP. CPAIOR 2018: 198-214 [c189] Mark Antunes, Vincent Armant, Kenneth N. Brown, Daniel A. Desmond, Guillaume Escamocher, Anne-Marie George, Diarmuid Grimes, Mike O'Keeffe, Yiqing Lin, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Mohamed Siala, Helmut Simonis, Nic Wilson: Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. ICTAI 2018: 114-121 [c188] Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan: From Offline to Online Kidney Exchange Optimization. ICTAI 2018: 587-591 [c187] Guillaume Escamocher, Barry O'Sullivan: Constrainedness in Stable Matching. ICTAI 2018: 710-717 [p9] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada: Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks. Handbook of Parallel Constraint Reasoning 2018: 633-665 2017 [j40] Christian Bessiere, Frédéric Koriche, Nadjib Lazaar, Barry O'Sullivan: Constraint acquisition. Artif. Intell. 244: 315-342 (2017) [j39] Lars Kotthoff, Barry Hurley, Barry O'Sullivan: The ICON Challenge on Algorithm Selection. AI Magazine 38(2): 91-93 (2017) [j38] Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis: The Inductive Constraint Programming Loop. IEEE Intell. Syst. 32(5): 44-52 (2017) [j37] Nic Wilson, Anne-Marie George, Barry O'Sullivan: Preference Inference Based on Hierarchical and Simple Lexiographic Models. FLAP 4(7) (2017) [c186] Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin: Robust Stable Marriage. AAAI 2017: 4925-4926 [c185] Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan: On the Complexity of Robust Stable Marriage. COCOA (2) 2017: 441-448 [c184] Mohamed Siala, Barry O'Sullivan: Rotation-Based Formulation for Stable Matching. CP 2017: 262-277 [c183] Mohamed Wahbi, Diarmuid Grimes, Deepak Mehta, Kenneth N. Brown, Barry O'Sullivan: A Distributed Optimization Method for the Geographically Distributed Data Centres Problem. CPAIOR 2017: 147-166 [c182] Muhammad Imran Khan, Barry O'Sullivan, Simon N. Foley: A Semantic Approach to Frequency Based Anomaly Detection of Insider Access in Database Management Systems. CRiSIS 2017: 18-28 [c181] Muhammad Imran Khan, Simon N. Foley, Barry O'Sullivan: On database intrusion detection: A Query analytics-based model of normative behavior to detect insider attacks. ICCNS 2017: 12-17 [c180] Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, Barry O'Sullivan: New Models for Two Variants of Popular Matching. ICTAI 2017: 752-759 [c179] Hong Huang, Laura Climent, Barry O'Sullivan: Acquiring Local Preferences of Weighted Partial MaxSAT. ICTAI 2017: 1065-1072 [c178] Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin: Finding Robust Solutions to Stable Marriage. IJCAI 2017: 631-637 [c177] Tadhg Fitzgerald, Barry O'Sullivan: Analysing the effect of candidate selection and instance ordering in a realtime algorithm configuration system. SAC 2017: 1003-1008 [i18] Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin: Finding Robust Solutions to Stable Marriage. CoRR abs/1705.09218 (2017) [i17] Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan: On the Complexity of Robust Stable Marriage. CoRR abs/1709.06172 (2017) 2016 [j36] Barry Hurley, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry: Multi-language evaluation of exact solvers in graphical model discrete optimization. Constraints An Int. J. 21(3): 413-434 (2016) [j35] Jesus Omana Iglesias, Milan De Cauwer, Deepak Mehta, Barry O'Sullivan, Liam Murphy: Increasing task consolidation efficiency by using more accurate resource estimations. Future Gener. Comput. Syst. 56: 407-420 (2016) [j34] Laura Climent, Richard J. Wallace, Barry O'Sullivan, Eugene C. Freuder: Extrapolating from Limited Uncertain Information in Large-Scale Combinatorial Optimization Problems to Obtain Robust Solutions. International Journal on Artificial Intelligence Tools 25(1): 1660005:1-1660005:21 (2016) [c176] Alan Kinsella, Alan F. Smeaton, Barry Hurley, Barry O'Sullivan, Helmut Simonis: Optimizing Energy Costs in a Zinc and Lead Mine. AAAI 2016: 4022-4027 [c175] Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, Barry O'Sullivan: A CP-Based Approach for Popular Matching. AAAI 2016: 4202-4203 [c174] Mohamed Siala, Barry O'Sullivan: Revisiting Two-Sided Stability Constraints. CPAIOR 2016: 342-357 [c173] Begum Genc, Barry O'Sullivan: Improving Navigation in Critique Graphs. ICTAI 2016: 134-141 [c172] Hong Huang, Barry O'Sullivan: Representative Itemset Mining. ICTAI 2016: 142-148 [c171] Milan De Cauwer, Deepak Mehta, Barry O'Sullivan: The Temporal Bin Packing Problem: An Application to Workload Management in Data Centres. ICTAI 2016: 157-164 [c170] Alejandro Arbelaez, Charlotte Truchet, Barry O'Sullivan: Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. ICTAI 2016: 655-662 [c169] Maribell Sacanamboy, Luis Quesada, Freddy Bolanos, Álvaro Bernal Noreña, Barry O'Sullivan: A Comparison between Two Optimisation Alternatives for Mapping in Wireless Network on Chip. ICTAI 2016: 938-945 [c168] Anne-Marie George, Nic Wilson, Barry O'Sullivan: Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models. IJCAI 2016: 1081-1087 [c167] Alejandro Arbelaez, Barry O'Sullivan: Learning a Stopping Criterion for Local Search. LION 2016: 3-16 [c166] Laura Climent, Barry O'Sullivan, Steven David Prestwich: Bounding the Search Space of the Population Harvest Cutting Problem with Multiple Size Stock Selection. LION 2016: 75-90 [c165] Yuri Malitsky, Marius Merschformann, Barry O'Sullivan, Kevin Tierney: Structure-Preserving Instance Generation. LION 2016: 123-140 [c164] Gilles Simonin, Barry O'Sullivan: Requests Management for Smartphone-Based Matching Applications Using a Multi-agent Approach. LION 2016: 173-186 [c163] Diarmuid Grimes, Deepak Mehta, Barry O'Sullivan, Robert Birke, Lydia Y. Chen, Thomas Scherer, Ignacio Castiñeiras: Robust Server Consolidation: Coping with Peak Demand Underestimation. MASCOTS 2016: 271-276 [c162] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada: Comparing tree and chain topologies for designing resilient backhaul access network. ONDM 2016: 1-6 [c161] Laura Climent, Barry O'Sullivan, Richard J. Wallace: An Improved Metaheuristic Algorithm for Maximizing Demand Satisfaction in the Population Harvest Cutting Stock Problem. SOCS 2016: 127-128 [p8] Barry Hurley, Barry O'Sullivan: Introduction to Combinatorial Optimisation in Numberjack. Data Mining and Constraint Programming 2016: 3-24 [p7] Barry Hurley, Lars Kotthoff, Yuri Malitsky, Deepak Mehta, Barry O'Sullivan: Advanced Portfolio Techniques. Data Mining and Constraint Programming 2016: 191-225 [p6] Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis: The Inductive Constraint Programming Loop. Data Mining and Constraint Programming 2016: 303-309 [p5] Mirco Nanni, Lars Kotthoff, Riccardo Guidotti, Barry O'Sullivan, Dino Pedreschi: ICON Loop Carpooling Show Case. Data Mining and Constraint Programming 2016: 310-324 [p4] Barry Hurley, Lars Kotthoff, Barry O'Sullivan, Helmut Simonis: ICON Loop Health Show Case. Data Mining and Constraint Programming 2016: 325-333 [p3] Barry Hurley, Barry O'Sullivan, Helmut Simonis: ICON Loop Energy Show Case. Data Mining and Constraint Programming 2016: 334-347 [e5] Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach. Lecture Notes in Computer Science 10101, Springer 2016, ISBN 978-3-319-50136-9 [contents] [i16] Barry Hurley, Deepak Mehta, Barry O'Sullivan: Elastic Solver: Balancing Solution Time and Energy Consumption. CoRR abs/1605.06940 (2016) 2015 [j33] Luis Quesada, Lanny Sitanayah, Kenneth N. Brown, Barry O'Sullivan, Cormac J. Sreenan: A constraint programming approach to the additional relay placement problem in wireless sensor networks. Constraints An Int. J. 20(4): 433-451 (2015) [c160] Danuta Sorina Chisca, Ignacio Castiñeiras, Deepak Mehta, Barry O'Sullivan: On Energy- and Cooling-Aware Data Centre Workload Management. CCGRID 2015: 1111-1114 [c159] Ignacio Castiñeiras, Deepak Mehta, Barry O'Sullivan: Energy cost minimisation of geographically distributed data centres. CLOUDNET 2015: 279-284 [c158] Guillaume Escamocher, Barry O'Sullivan: On the Minimal Constraint Satisfaction Problem: Complexity and Generation. COCOA 2015: 731-745 [c157] Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada: An adaptive large neighbourhood search for designing transparent optical core network. ConTEL 2015: 1-8 [c156] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan: Constraint-Based Local Search for Finding Node-Disjoint Bounded-Paths in Optical Access Networks. CP 2015: 499-507 [c155] Lars Kotthoff, Mirco Nanni, Riccardo Guidotti, Barry O'Sullivan: Find Your Way Back: Mobility Profile Mining with Constraints. CP 2015: 638-653 [c154] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada: A Constraint-Based Local Search for Edge Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem. CPAIOR 2015: 31-46 [c153] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada: Optimising dual homing for long-reach passive optical networks. DRCN 2015: 235-242 [c152] Deepak Mehta, Barry O'Sullivan, Luis Quesada: Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems. ICTAC 2015: 309-327 [c151] Diarmuid Grimes, Barry Hurley, Deepak Mehta, Barry O'Sullivan: Large Neighbourhood Search for Energy-Efficient Train Timetabling. ICTAI 2015: 828-835 [c150] Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan: ReACTR: Realtime Algorithm Configuration through Tournament Rankings. IJCAI 2015: 304-310 [c149] Barry Hurley, Barry O'Sullivan: Statistical Regimes and Runtime Prediction. IJCAI 2015: 318-324 [c148] Nic Wilson, Anne-Marie George, Barry O'Sullivan: Computation and Complexity of Preference Inference Based on Hierarchical Models. IJCAI 2015: 3271-3277 [c147] Deepak Mehta, Barry O'Sullivan, Cemalletin Ozturk, Luis Quesada: Computing distance-bounded node-disjoint paths for all pairs of nodes - An application to optical core network design. RNDM@WMNC 2015: 71-77 [c146] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada: A constraint-based local search for designing tree networks with distance and disjoint constraints. RNDM@WMNC 2015: 128-134 [c145] Steven David Prestwich, Adejuyigbe O. Fajemisin, Laura Climent, Barry O'Sullivan: Solving a Hard Cutting Stock Problem by Machine Learning and Optimisation. ECML/PKDD (1) 2015: 335-347 [c144] Ignacio Castiñeiras, Danuta Sorina Chisca, Deepak Mehta, Barry O'Sullivan: Trichotomic Search for Thermal-Aware Data Centre Workload Optimisation. UCC 2015: 528-533 [c143] Dirk Pesch, Alan McGibney, Piotr Sobonski, Susan Rea, Thomas Scherer, Lydia Yiyu Chen, Ton Engbersen, Deepak Mehta, Barry O'Sullivan, Enric Pages, Jacinta Townley, Dhanaraja Kasinathan, J. Ignacio Torrens, Vojtech Zavrel, J. L. M. Hensen: The GENiC Architecture for Integrated Data Centre Energy Management. UCC 2015: 540-546 [i15] Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis: Bin Packing with Linear Usage Costs. CoRR abs/1509.06712 (2015) [i14] Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis: The Inductive Constraint Programming Loop. CoRR abs/1510.03317 (2015) 2014 [j32] David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven David Prestwich, Thomas Schiex, Seydou Traoré: Computational protein design as an optimization problem. Artif. Intell. 212: 59-79 (2014) [j31] Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis: A Constraint-Based Dental School Timetabling System. AI Magazine 35(1): 53-63 (2014) [j30] Michela Milano, Barry O'Sullivan, Marco Gavanelli: Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence. AI Magazine 35(3): 22-35 (2014) [j29] Marco Ruffini, Lena Wosinska, Mohand Achouche, Jiajia Chen, N. J. Doran, Farsheed Farjady, Julio Montalvo-Garcia, Peter Ossieur, Barry O'Sullivan, Nick Parsons, Thomas Pfeiffer, Xing-Zhi Qiu, Christian Raack, H. Rohde, M. Schiano, Paul D. Townsend, Roland Wessäly, Xin Yin, David B. Payne: DISCUS: an end-to-end solution for ubiquitous broadband optical access. IEEE Communications Magazine 52(2): 24-56 (2014) [j28] Eugene C. Freuder, Barry O'Sullivan: Grand challenges for constraint programming. Constraints An Int. J. 19(2): 150-162 (2014) [j27] Diarmuid Grimes, Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis: Analyzing the impact of electricity price forecasting on energy cost-aware scheduling. Sustain. Comput. Informatics Syst. 4(4): 276-291 (2014) [j26] Michela Milano, Barry O'Sullivan, Martin Sachenbacher: Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development. IEEE Trans. Computers 63(1): 88-89 (2014) [c142] Tadhg Fitzgerald, Barry O'Sullivan, Yuri Malitsky, Kevin Tierney: Online Search Algorithm Configuration. AAAI 2014: 3104-3105 [c141] Milan De Cauwer, Deepak Mehta, Barry O'Sullivan, Helmut Simonis, Hadrien Cambazard: Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon. CCGRID 2014: 558-561 [c140] Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan: Proteus: A Hierarchical Portfolio of Solvers and Transformations. CPAIOR 2014: 301-317 [c139] Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva: A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. CPAIOR 2014: 368-376 [c138] Gilles Simonin, Barry O'Sullivan: Optimisation for the Ride-Sharing Problem: a Complexity-based Approach. ECAI 2014: 831-836 [c137] David Lesaint, Deepak Mehta, Barry O'Sullivan, Vincent Vigneron: A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database. ECAI 2014: 1057-1058 [c136] Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva: Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. ECAI 2014: 1065-1066 [c135] Andrea Di Giglio, M. Schiano, Marco Ruffini, David B. Payne, N. J. Doran, Mohand Achouche, R. Jensen, Barry O'Sullivan, Thomas Pfeiffer, Rene Bonk, H. Rohde, Giuseppe Talli, Xin Yin, Roland Wessäly, Lena Wosinska, Julio Montalvo-Garcia: Towards the distributed core for ubiquitous superfast broadband optical access. EuCNC 2014: 1-5 [c134] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada: Constraint-Based Local Search for the Distance- and Capacity-Bounded Network Design Problem. ICTAI 2014: 178-185 [c133] David Lesaint, Deepak Mehta, Barry O'Sullivan, Vincent Vigneron: A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database. ICTAI 2014: 544-551 [c132] Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Helmut Simonis: Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation. ICTAI 2014: 560-567 [c131] Laura Climent, Richard J. Wallace, Barry O'Sullivan, Eugene C. Freuder: Extrapolating from Limited Uncertain Information to Obtain Robust Solutions for Large-Scale Optimization Problems. ICTAI 2014: 898-905 Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle: A scalable optimisation approach to minimising IP protection capacity for Long-Reach PON. ONDM 2014: 31-36 Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan, Kevin Tierney: ReACT: Real-Time Algorithm Configuration through Tournaments. SOCS 2014 Yuri Malitsky, Barry O'Sullivan: Latent Features for Algorithm Selection. SOCS 2014 Jesus Omana Iglesias, Liam Murphy, Milan De Cauwer, Deepak Mehta, Barry O'Sullivan: A Methodology for Online Consolidation of Tasks through More Accurate Resource Estimations. UCC 2014: 89-98 Barry O'Sullivan: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings. Lecture Notes in Computer Science 8656, Springer 2014, ISBN 978-3-319-10427-0 [contents] Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014). Frontiers in Artificial Intelligence and Applications 263, IOS Press 2014, ISBN 978-1-61499-418-3 [contents]
  • Barry Hurley, Serdar Kadioglu, Yuri Malitsky, Barry O'Sullivan: Transformation-based Feature Computation for Algorithm Portfolios. CoRR abs/1401.2474 (2014)
  • David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson: Developing Approaches for Solving a Telecommunications Feature Subscription Problem. CoRR abs/1401.3842 (2014)
  • Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon: Soft Constraints of Difference and Equality. CoRR abs/1401.3879 (2014)
  • Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, Michèle Sebag: Constraints, Optimization and Data (Dagstuhl Seminar 14411). Dagstuhl Reports 4(10): 1-31 (2014)

2013 Papers

  • Eugene C. Freuder and Barry O'Sullivan. Grand Challenges for Constraint Programming. Constraints: An International Journal. In press. 2013.
  • Daniel Marx, Barry O'Sullivan, and Igor Razgon. Finding Small Separators in Linear-time via Treewidth Reduction. ACM Transactions on Algorithms (TALG). Volume 9 Issue 4, September 2013.
    [ BibTeX ]
  • Luis Quesada, Ken Brown, Barry O'Sullivan, Lanny Sitanayah and Cormac Sreenan. A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks. Proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013), IEEE Press.
  • Deepak Mehta, Barry O'Sullivan, Lars Kotthoff and Yuri Malitsky. Lazy Branching for Constraint Satisfaction. Proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013), IEEE Press.
  • Marco Collautti, Yuri Malitsky, and Barry O'Sullivan. SNNAP: Solver-based Nearest Neighbor for Algorithm Portfolios Proceedings of the European Conference on Machine Learning (ECML-2013).
  • Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, and Helmut Simonis. Bin Packing with Linear Usage Costs -- An Application to Energy Management in Data Centres Proceedings of Princples and Practice of Constraint Programming (CP-2013).
  • Simon De Givry, Steven Prestwich, and Barry O'Sullivan. Dead-End Elimination for Weighted CSP Proceedings of Princples and Practice of Constraint Programming (CP-2013).
  • David Lesaint, Deepak Mehta and Barry O'Sullivan. Soft Pattern Discovery in Pre-Classified Protein Families. International Workshop on Constraint-Based-Methods for Bioinformatics (WCB 2013)
  • Milan de Cauwer and Barry O'Sullivan. On Energy Management for Internet Data Centers. Proceedings of the 10th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON 2013), Springer LNCS.
  • Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan and Helmut Simonis. Constraint Programming Based Large Neighborhood Search Approach for Energy Minimization in Data Centres. Proceedings of the 10th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON 2013), Springer LNCS.
  • Yuri Malitsky, Deepak Mehta and Barry O'Sullivan. Evolving Instance Specific Algorithm Configuration. Proceedings of Symposium on Combinatorial Search (SoCS-2013).
  • Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis. The Deployment of a Constraint-based Dental School Timetabling System. Proceedings of Innovative Applications of Artificial Intelligence (IAAI-2013). Deployed Paper.
  • Deepak Mehta, Barry O'Sullivan, Luis Quesada, David B. Payne, Linda Doyle and Marco Ruffini. Routing and Network Design for HEAnet. Proceedings of the International Conference on Transparent Optical Networks (ICTON 2013). Invited Paper.
  • >M. Ruffini, N. Doran, M. Achouche, N. Parsons, T. Pfeiffer, X. Yin, H. Rohde, M. Schiano, P. Ossieur, B. OÕSullivan, R. Wessaly, L. Wosinska, J. Montalvo and D.B. Payne.
    DISCUS: End-to-end network design for ubiquitous high speed broadband services (Invited).
    Proceedings of the International Conference on Transparent Optical Networks (ICTON 2013). Invited Paper.
  • Yuri Malitsky, Deepak Mehta, Barry O'Sullivan and Helmut Simonis. Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem. Proceedings of CPAIOR 2013

2012 Papers

  • Alexandre Papadopoulos and Barry O'Sullivan. Compiling Domain Consequences. Proceedings of IEEE-ICTAI (2012).
  • William Fitzgerald, Fatih Turkman, Simon Foley and Barry O'Sullivan. Anomaly Analysis for Physical Access Control Security Configuration. Proceedings of CRISIS 2012, IEEE, 2012
    [ BibTeX ]
  • Deepak Mehta, Barry O'Sullivan, and Helmut Simonis. A Constraint Programming-based Large Neighborhood Search for the Machine Reassignment Problem. Proceedings of AICS 2012, Nectar Track Paper, 2012
    [ BibTeX ]
  • Ken Brown, Barry O'Sullivan, and Cormac Sreenan. Proceedings of the First International Workshop on Artificial Intelligence for Telecommunications and Sensors Networks (WAITS). In conjunction with ECAI 2012
    [ BibTeX ]
  • Remi Coletta, Tias Guns, Barry O'Sullivan, Andrea Passerini and Guido Tack. Proceedings of the First International Workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile). In conjunction with ECAI 2012
    [ BibTeX ]
  • Barry O'Sullivan. Where are the Interesting Problems? (Invited Talk). Proceedings of CP 2012, Springer LNCS, 2012
    [ BibTeX ]
  • Deepak Mehta, Barry O'Sullivan, and Helmut Simonis. Comparing Solution Methods for the Machine Reassignment Problem. Proceedings of CP 2012, Springer LNCS, 2012.
  • Georgiana Ifrim, Barry O'Sullivan, and Helmut Simonis. Properties of Energy-Cost Forecasting for Scheduling. Proceedings of CP 2012, Springer LNCS, 2012.
  • Ignacio Castineiras, Milan De Cauwer, and Barry O'Sullivan. Weibull-based Benchmarks for Bin Packing. Proceedings of CP 2012, Springer LNCS, 2012.
  • Barry O'Sullivan. Opportunities and Challenges for Constraint Programming. Proceedings of AAAI 2012, Invited Spotlight Paper.
  • Barry Hurley and Barry O'Sullivan. Adaptation in a CBR-based Solver Portfolio for the Satisfiability Problem. Proceedings of ICCBR 2012, Springer LNCS, 2012.
  • Michela Milano, Marco Gavanelli, Alan Holland and Barry O'Sullivan. 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

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¡niel 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.