Reasoning Transfer for an Extremely Low-Resource and Endangered Language: Bridging Languages Through Sample-Efficient Language Understanding.

Barry O'Sullivan University College Cork, Ireland Barry J. O'Sullivan http://www.cs.ucc.ie/~osullb/ https://scholar.google.com/citations?user=EtMwv6YAAAAJ https://twitter.com/barryosullivan https://orcid.org/0000-0002-0090-2085 https://www.wikidata.org/entity/Q62055709 Khanh-Tung Tran Barry O'Sullivan Hoang D. Nguyen Reasoning Transfer for an Extremely Low-Resource and Endangered Language: Bridging Languages Through Sample-Efficient Language Understanding. 33277-33286 2026 AAAI https://doi.org/10.1609/aaai.v40i39.40613 conf/aaai/2026 db/conf/aaai/aaai2026.html#TranON26 Megan Nyhan Kevin Doherty Daniel Snow Kayley Moylan Rhys Jacka Izzy Fox Barry O'Sullivan Josephine Griffith Susan Leavy A Seat at The Table: Teen Experiences and Perceptions of Social Media Recommendation Algorithms. 372-389 2026 IDC https://doi.org/10.1145/3773077.3806115 conf/acmidc/2026 db/conf/acmidc/idc2026.html#NyhanDSMJFOGL26 Khanh-Tung Tran Barry O'Sullivan Hoang D. Nguyen LaCoMSA: Language-Consistency Multilingual Self-Alignment with Latent Representation Rewarding. EACL (Volume 1: Long Papers) 2026 4839-4853 conf/eacl/2026-1 https://doi.org/10.18653/v1/2026.eacl-long.224 https://aclanthology.org/2026.eacl-long.224/ db/conf/eacl/eacl2026-1.html#TranON26 streams/conf/eacl Ahmed Missaoui Barry O'Sullivan Energy-Efficient Scheduling in Parallel Machines with Speed Scaling and Release Dates. 57-64 2026 ICORES https://doi.org/10.5220/0014247800004055 conf/icores/2026 db/conf/icores/icores2026.html#MissaouiO26 Khanh-Tung Tran Duc-Hai Nguyen Barry O'Sullivan Hoang D. Nguyen IRLBench: A Multi-modal, Culturally Grounded, Parallel Irish-English Benchmark for Open-Ended LLM Reasoning Evaluation. 2794-2805 2026 KDD (1) https://doi.org/10.1145/3770854.3785693 conf/kdd/2026-1 db/conf/kdd/kdd2026-1.html#TranNON26 Duc-Hai Nguyen Kinza Salim David Power Murray Connolly Ahmed Hamdy Maya Contreras Tai Tan Mai George Shorten Barry O'Sullivan Vijayakumar Nanjappan Hoang D. Nguyen Empowering Multimodal Learning Analytics using Agentic AI: A Comprehensive Platform for Simulation-based Clinical Training with Intelligent Assessment. 674-684 2026 LAK https://doi.org/10.1145/3785022.3785129 conf/lak/2026 db/conf/lak/lak2026.html#NguyenSPCHCMSON26

Minh-Dung Dao Quy Minh Le Hoang Thanh Lam Duc-Trong Le Quoc-Viet Pham Barry O'Sullivan Hoang D. Nguyen Agentic Design Patterns: A System-Theoretic Framework. 2026 January abs/2601.19752 CoRR https://doi.org/10.48550/arXiv.2601.19752 db/journals/corr/corr2601.html#abs-2601-19752 streams/journals/corr

Mingxing Zhang Nicola Rossberg Simone Innocente Katarzyna Komolibus Rekha Gautam Barry O'Sullivan Luca Longo Andrea Visentin SHAPCA: Consistent and Interpretable Explanations for Machine Learning Models on Spectroscopy Data. 2026 March abs/2603.19141 CoRR https://doi.org/10.48550/arXiv.2603.19141 db/journals/corr/corr2603.html#abs-2603-19141 streams/journals/corr

Nicola Rossberg Bennett Kleinberg Barry O'Sullivan Luca Longo Andrea Visentin Improving Explanations: Applying the Feature Understandability Scale for Cost-Sensitive Feature Selection. 2026 April abs/2604.05790 CoRR https://doi.org/10.48550/arXiv.2604.05790 db/journals/corr/corr2604.html#abs-2604-05790 streams/journals/corr

Long Pham Barry O'Sullivan Teresa Scantamburlo Tai Tan Mai European reactions to AI in full and flawed democracies: an investigation of key factors. 5243-5256 2025 October 40 AI Soc. 7 https://doi.org/10.1007/s00146-025-02306-w db/journals/ais/ais40.html#PhamOSM25 streams/journals/ais

Michele Garraffa Helmut Simonis Barry O'Sullivan Eddie Armstrong Decomposition heuristics for the Hybrid Flexible Flowshop with transportation times. 107145 2025 183 Comput. Oper. Res. https://doi.org/10.1016/j.cor.2025.107145 db/journals/cor/cor183.html#GarraffaSOA25 streams/journals/cor

Ege Duran Cemalettin Ozturk Barry O'Sullivan Planning and scheduling shared manufacturing systems: key characteristics, current developments and future trends. 4958-4990 2025 63 Int. J. Prod. Res. 13 https://doi.org/10.1080/00207543.2024.2442549 db/journals/ijpr/ijpr63.html#DuranOO25 streams/journals/ijpr

Vedat Dogan Steven D. Prestwich Barry O'Sullivan A Multi-Agent Reinforcement Learning-Based Framework for Forecasting Terrorist Collaboration and Predicting Future Alliances. ASONAM (2) 2025 146-162 conf/asunam/2025-2 https://doi.org/10.1007/978-3-032-13821-7_14 db/conf/asunam/asonam2025-2.html#DoganPO25 streams/conf/asunam Andrea Balogh Guillaume Escamocher Barry O'Sullivan Determining the Most Promising Selective Backbone Size for Partial Knowledge Compilation. 34-51 2025 CPAIOR (1) https://doi.org/10.1007/978-3-031-95973-8_3 conf/cpaior/2025-1 db/conf/cpaior/cpaior2025-1.html#BaloghEO25 streams/conf/cpaior Khanh-Tung Tran Nguyet-Hang Vu Barry O'Sullivan Hoang D. Nguyen Disentangling Language Understanding and Reasoning Structures in Cross-lingual Chain-of-Thought Prompting. EMNLP (Findings) 2025 12200-12206 conf/emnlp/2025f https://doi.org/10.18653/v1/2025.findings-emnlp.652 https://aclanthology.org/2025.findings-emnlp.652/ db/conf/emnlp/emnlp2025f.html#TranVON25 streams/conf/emnlp Megan Nyhan Susan Leavy Pranav Narula Kevin Doherty Barry O'Sullivan Ruihai Dong Izzy Fox Josephine Griffith Algorithmic Transparency: The EU Digital Services Act and Young People's Experiences of Online Platforms. 452-456 2025 EWAF https://proceedings.mlr.press/v294/nyhan25a.html conf/ewaf/2025 db/conf/ewaf/ewaf2025.html#NyhanLNDODFG25 streams/conf/ewaf Mai Le Quoc-Viet Pham Barry O'Sullivan Hoang D. Nguyen Sum Rate Maximization in Downlink HAP-RSMA-based THz Systems: A Generative Diffusion Model enabled RL Approach. GLOBECOM 2025 3293-3298 conf/globecom/2025 https://doi.org/10.1109/GLOBECOM59602.2025.11432798 db/conf/globecom/globecom2025.html#LePON25 streams/conf/globecom Joseph Chai Barry O'Sullivan Hoang D. Nguyen IRLTrees3D: A 3D Reconstruction Dataset of Trees. ICCVW 2025 2897-2902 conf/iccv/2025w https://doi.org/10.1109/ICCVW69036.2025.00302 db/conf/iccv/iccv2025w.html#ChaiON25 streams/conf/iccv Sharmi Dev Gupta Helmut Simonis Luis Quesada 0001 Barry O'Sullivan Producer/Consumer Problems. 363-370 2025 ICTAI https://doi.org/10.1109/ICTAI66417.2025.00054 conf/ictai/2025 db/conf/ictai/ictai2025.html#GuptaSQO25 streams/conf/ictai Ahmed Missaoui Barry O'Sullivan Reinforcement Learning Based Iterated Greedy for Parallel Machine Scheduling with Weighted Earliness Tardiness. 15-26 2025 IEA/AIE (1) https://doi.org/10.1007/978-981-96-8889-0_2 conf/ieaaie/2025-1 db/conf/ieaaie/ieaaie2025-1.html#MissaouiO25 streams/conf/ieaaie Ahmed Missaoui Barry O'Sullivan Multi-objective Energy-Efficient Scheduling in Two-Stage Hybrid Flowshop Under Consideration of No-Wait. 464-475 2025 IEA/AIE (2) https://doi.org/10.1007/978-981-96-8892-0_39 conf/ieaaie/2025-2 db/conf/ieaaie/ieaaie2025-2.html#MissaouiO25a streams/conf/ieaaie Vedat Dogan Steven D. Prestwich Barry O'Sullivan A Risk-Averse Approach for the Leader in Multi-objective Bilevel Optimization. LOD (2) 2025 235-249 conf/mod/2025-2 https://doi.org/10.1007/978-3-032-21480-5_16 db/conf/mod/lod2025-2.html#DoganPO25 streams/conf/mod Andrea Visentin Marco Dalla Benjamin Provan-Bessell Barry O'Sullivan Unsupervised Induction Motor Anomaly Detection Using a Deep Convolutional Autoencoder Based on Multi-Sensor Data Fusion. 194-201 2025 SMARTCOMP https://doi.org/10.1109/SMARTCOMP65954.2025.00036 conf/smartcomp/2025 db/conf/smartcomp/smartcomp2025.html#VisentinDPO25

Khanh-Tung Tran Dung Dao Minh-Duong Nguyen Quoc-Viet Pham Barry O'Sullivan Hoang D. Nguyen Multi-Agent Collaboration Mechanisms: A Survey of LLMs. 2025 January abs/2501.06322 CoRR https://doi.org/10.48550/arXiv.2501.06322 db/journals/corr/corr2501.html#abs-2501-06322 streams/journals/corr

Nicola Rossberg Celina L. Li Simone Innocente Stefan Andersson-Engels Katarzyna Komolibus Barry O'Sullivan Andrea Visentin Machine Learning Applications to Diffuse Reflectance Spectroscopy in Optical Diagnosis; A Systematic Review. 2025 March abs/2503.02905 CoRR https://doi.org/10.48550/arXiv.2503.02905 db/journals/corr/corr2503.html#abs-2503-02905 streams/journals/corr

Khanh-Tung Tran Barry O'Sullivan Hoang D. Nguyen Scaling Test-time Compute for Low-resource Languages: Multilingual Reasoning in LLMs. 2025 April abs/2504.02890 CoRR https://doi.org/10.48550/arXiv.2504.02890 db/journals/corr/corr2504.html#abs-2504-02890 streams/journals/corr

Khanh-Tung Tran Barry O'Sullivan Hoang D. Nguyen IRLBench: A Multi-modal, Culturally Grounded, Parallel Irish-English Benchmark for Open-Ended LLM Reasoning Evaluation. 2025 May abs/2505.13498 CoRR https://doi.org/10.48550/arXiv.2505.13498 db/journals/corr/corr2505.html#abs-2505-13498 streams/journals/corr

Ahmed Missaoui Cemalettin Ozturk Barry O'Sullivan Refined Iterated Pareto Greedy for Energy-aware Hybrid Flowshop Scheduling with Blocking Constraints. 2025 October abs/2510.03377 CoRR https://doi.org/10.48550/arXiv.2510.03377 db/journals/corr/corr2510.html#abs-2510-03377 streams/journals/corr

Nicola Rossberg Bennett Kleinberg Barry O'Sullivan Luca Longo Andrea Visentin The Feature Understandability Scale for Human-Centred Explainable AI: Assessing Tabular Feature Importance. 2025 October abs/2510.07050 CoRR https://doi.org/10.48550/arXiv.2510.07050 db/journals/corr/corr2510.html#abs-2510-07050 streams/journals/corr

Josh McGiff Khanh-Tung Tran William Mulcahy Dáibhidh Ó Luinín Jake Dalzell Róisín Ní Bhroin Adam Burke 0003 Barry O'Sullivan Hoang D. Nguyen Nikola S. Nikolov Irish-BLiMP: A Linguistic Benchmark for Evaluating Human and Language Model Performance in a Low-Resource Setting. 2025 October abs/2510.20957 CoRR https://doi.org/10.48550/arXiv.2510.20957 db/journals/corr/corr2510.html#abs-2510-20957 streams/journals/corr

Duc-Hai Nguyen Vijayakumar Nanjappan Barry O'Sullivan Hoang D. Nguyen Questionnaire meets LLM: A Benchmark and Empirical Study of Structural Skills for Understanding Questions and Responses. 2025 October abs/2510.26238 CoRR https://doi.org/10.48550/arXiv.2510.26238 db/journals/corr/corr2510.html#abs-2510-26238 streams/journals/corr

Luca Turchet Barry O'Sullivan Rupert Ortner Christoph Guger Emotion Recognition of Playing Musicians From EEG, ECG, and Acoustic Signals. 619-629 2024 October 54 IEEE Trans. Hum. Mach. Syst. 5 https://doi.org/10.1109/THMS.2024.3430327 db/journals/thms/thms54.html#TurchetOOG24 streams/journals/thms

Long Pham Barry O'Sullivan Teresa Scantamburlo Tai Tan Mai Addressing Digital and AI Skills Gaps in European Living Areas: A Comparative Analysis of Small and Large Communities. 23119-23127 2024 AAAI https://doi.org/10.1609/aaai.v38i21.30357 conf/aaai/2024 db/conf/aaai/aaai2024.html#PhamOSM24 Vedat Dogan Steven D. Prestwich Barry O'Sullivan A Fully Bayesian Approach to Bilevel Problems. 144-159 2024 ADT https://doi.org/10.1007/978-3-031-73903-3_10 conf/aldt/2024 db/conf/aldt/adt2024.html#DoganPO24 streams/conf/aldt Filipe Souza Diarmuid Grimes Barry O'Sullivan An Investigation of Generic Approaches to Large Neighbourhood Search (Short Paper). 39:1-39:10 2024 CP https://doi.org/10.4230/LIPIcs.CP.2024.39 conf/cp/2024 db/conf/cp/cp2024.html#SouzaGO24 Khanh-Tung Tran Barry O'Sullivan Hoang D. Nguyen UCCIX: Irish-eXcellence Large Language Model. 4503-4506 2024 ECAI https://doi.org/10.3233/FAIA241040 conf/ecai/2024 db/conf/ecai/ecai2024.html#TranON24 Daniel Crowley Marco Dalla Barry O'Sullivan Andrea Visentin SAT Instances Generation Using Graph Variational Autoencoders. 2024 ESANN https://doi.org/10.14428/esann/2024.ES2024-223 conf/esann/2024 db/conf/esann/esann2024.html#CrowleyDOV24 Sharmi Dev Gupta Barry O'Sullivan Luis Quesada 0001 Counterfactual Explanation Through Constraint Relaxation. 396-403 2024 ICTAI https://doi.org/10.1109/ICTAI62512.2024.00064 conf/ictai/2024 db/conf/ictai/ictai2024.html#GuptaO024 Marco Dalla Andrea Visentin Barry O'Sullivan A Machine Learning Approach to Model Counting. 881-888 2024 ICTAI https://doi.org/10.1109/ICTAI62512.2024.00128 conf/ictai/2024 db/conf/ictai/ictai2024.html#DallaVO24 Alex To Hoang Quoc Viet Pham Quang H. Nguyen Joseph G. Davis Barry O'Sullivan Shan L. Pan Hoang D. Nguyen Carbon Stock Estimation at Scale from Aerial and Satellite Imagery. 292-299 2024 CAI https://doi.org/10.1109/CAI59869.2024.00064 conf/ieeecai/2024 db/conf/ieeecai/ieeecai2024.html#ToPNDOPN24 streams/conf/ieeecai Ege Duran Cemalettin Ozturk Barry O'Sullivan Exact and Heuristic Methods for Planning and Scheduling Collaborative Manufacturing Systems. 53-68 2024 PRO-VE (2) https://doi.org/10.1007/978-3-031-71743-7_4 conf/ifip5-5/2024-2 db/conf/ifip5-5/prove2024-2.html#DuranOO24 Ege Duran Cemalettin Ozturk Barry O'Sullivan Multi-agent Scheduling for Shared Manufacturing Systems. 727-736 2024 ISM https://doi.org/10.1016/j.procs.2025.01.134 conf/ism2/2024a db/conf/ism2/ism2024a.html#DuranOO24 Ahmed Missaoui Cemalettin Ozturk Barry O'Sullivan Energy-Aware Blocking Hybrid Flow Shop Scheduling Problem with Sequence-depend Setup Times and Machine Speed Levels. 1134-1143 2024 ISM https://doi.org/10.1016/j.procs.2025.01.175 conf/ism2/2024a db/conf/ism2/ism2024a.html#MissaouiOO24 Roberta Calegari Virginia Dignum Barry O'Sullivan Proceedings of the 2nd Workshop on Fairness and Bias in AI co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 20th, 2024. AEQUITAS@ECIA CEUR-WS.org 2024 CEUR Workshop Proceedings 3808 https://ceur-ws.org/Vol-3808 https://nbn-resolving.org/urn:nbn:de:0074-3808-1 db/conf/aequitas/aequitas2024.html

Khanh-Tung Tran Barry O'Sullivan Hoang D. Nguyen UCCIX: Irish-eXcellence Large Language Model. 2024 abs/2405.13010 CoRR https://doi.org/10.48550/arXiv.2405.13010 db/journals/corr/corr2405.html#abs-2405-13010

Nic Wilson Anne-Marie George Barry O'Sullivan Computation and Complexity of Preference Inference Based on Hierarchical Models. 2024 abs/2409.11044 CoRR https://doi.org/10.48550/arXiv.2409.11044 db/journals/corr/corr2409.html#abs-2409-11044 streams/journals/corr

Qin Ruan Jin Xu Ruihai Dong Arjumand Younus Tai Tan Mai Barry O'Sullivan Susan Leavy ARTAI: An Evaluation Platform to Assess Societal Risk of Recommender Algorithms. 2024 abs/2409.12396 CoRR https://doi.org/10.48550/arXiv.2409.12396 db/journals/corr/corr2409.html#abs-2409-12396 streams/journals/corr

Anne-Marie George Nic Wilson Barry O'Sullivan Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models. 2024 abs/2410.23934 CoRR https://doi.org/10.48550/arXiv.2410.23934 db/journals/corr/corr2410.html#abs-2410-23934 streams/journals/corr

Ahmed Missaoui Cemalettin Ozturk Barry O'Sullivan Iterated Greedy Algorithms for Combinatorial Optimization: A Systematic Literature Review. 1-7 2023 AICCSA https://doi.org/10.1109/AICCSA59173.2023.10479246 conf/aiccsa/2023 db/conf/aiccsa/aiccsa2023.html#MissaouiOO23 Filipe Souza Diarmuid Grimes Barry O'Sullivan Improved Variable-Relationship Guided LNS for the Data Centre Machine Reassignment Problem. 1-4 2023 AICS https://doi.org/10.1109/AICS60730.2023.10470854 conf/aics/2023 db/conf/aics/aics2023.html#SouzaGO23 Ahmed Missaoui Cemalettin Ozturk Barry O'Sullivan Energy-Efficient Multi-Objective Hybrid Flowshop Scheduling Problem with Blocking Constraints. 1-6 2023 CoDIT https://doi.org/10.1109/CoDIT58514.2023.10284309 conf/codit/2023 db/conf/codit/codit2023.html#MissaouiOO23 Andrea Balogh Guillaume Escamocher Barry O'Sullivan Partial Compilation of SAT Using Selective Backbones. 174-181 2023 ECAI https://doi.org/10.3233/FAIA230268 conf/ecai/2023 db/conf/ecai/ecai2023.html#BaloghEO23 Roberta Calegari Gabriel G. Castañé Michela Milano Barry O'Sullivan Assessing and Enforcing Fairness in the AI Lifecycle. 6554-6562 2023 IJCAI https://doi.org/10.24963/ijcai.2023/735 conf/ijcai/2023 db/conf/ijcai/ijcai2023.html#CalegariCMO23 Andrea Balogh Barry O'Sullivan Breaking Symmetry for Knowledge Compilation. 991-994 2023 SAC https://doi.org/10.1145/3555776.3577863 https://www.wikidata.org/entity/Q130851220 conf/sac/2023 db/conf/sac/sac2023.html#BaloghO23 Marco Dalla Benjamin Provan-Bessell Andrea Visentin Barry O'Sullivan SAT Feature Analysis for Machine Learning Classification Tasks. 138-142 2023 SOCS https://doi.org/10.1609/socs.v16i1.27292 conf/socs/2023 db/conf/socs/socs2023.html#DallaPVO23 Ruth Helen Bergin Marco Dalla Andrea Visentin Barry O'Sullivan Gregory M. Provan Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. 169-170 2023 SOCS https://doi.org/10.1609/socs.v16i1.27298 conf/socs/2023 db/conf/socs/socs2023.html#BerginDVOP23

Long Pham Barry O'Sullivan Tai Tan Mai Key Factors Affecting European Reactions to AI in European Full and Flawed Democracies. 2023 abs/2311.09231 CoRR https://doi.org/10.48550/arXiv.2311.09231 db/journals/corr/corr2311.html#abs-2311-09231

Andrea Balogh Michele Garraffa Barry O'Sullivan Fabio Salassa MILP-based local search procedures for minimizing total tardiness in the No-idle Permutation Flowshop Problem. 105862 2022 146 Comput. Oper. Res. https://doi.org/10.1016/j.cor.2022.105862 db/journals/cor/cor146.html#BaloghGOS22

Guillaume Escamocher Barry O'Sullivan Regular pattern-free coloring. 109-125 2022 321 Discret. Appl. Math. https://doi.org/10.1016/j.dam.2022.06.034 db/journals/dam/dam321.html#EscamocherO22

Filipe Souza Diarmuid Grimes Barry O'Sullivan A Large Neighborhood Search Approach for the Data Centre Machine Reassignment Problem. 397-408 2022 AICS https://doi.org/10.1007/978-3-031-26438-2_31 conf/aics/2022 db/conf/aics/aics2022.html#SouzaGO22 Filipe Souza Diarmuid Grimes Barry O'Sullivan Variable-Relationship Guided LNS for the Car Sequencing Problem. 437-449 2022 AICS https://doi.org/10.1007/978-3-031-26438-2_34 conf/aics/2022 db/conf/aics/aics2022.html#SouzaGO22a Eddie Armstrong Michele Garraffa Barry O'Sullivan Helmut Simonis A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times. 1-13 2022 CPAIOR https://doi.org/10.1007/978-3-031-08011-1_1 conf/cpaior/2022 db/conf/cpaior/cpaior2022.html#ArmstrongGOS22

Sharmi Dev Gupta Begum Genc Barry O'Sullivan Finding Counterfactual Explanations through Constraint Relaxations. 2022 abs/2204.03429 CoRR https://doi.org/10.48550/arXiv.2204.03429 db/journals/corr/corr2204.html#abs-2204-03429

Benjamin Provan-Bessell Marco Dalla Andrea Visentin Barry O'Sullivan SATfeatPy - A Python-based Feature Extraction System for Satisfiability. 2022 abs/2204.14116 CoRR https://doi.org/10.48550/arXiv.2204.14116 db/journals/corr/corr2204.html#abs-2204-14116

Guillaume Escamocher Barry O'Sullivan Generation and Prediction of Difficult Model Counting Instances. 2022 abs/2212.02893 CoRR https://doi.org/10.48550/arXiv.2212.02893 db/journals/corr/corr2212.html#abs-2212-02893

Steven D. Prestwich Eugene C. Freuder Barry O'Sullivan David Browne Classifier-based constraint acquisition. 655-674 2021 89 Ann. Math. Artif. Intell. 7 https://doi.org/10.1007/s10472-021-09736-4 db/journals/amai/amai89.html#PrestwichFOB21

Guillaume Escamocher Barry O'Sullivan Leprechauns on the chessboard. 112316 2021 344 Discret. Math. 5 https://doi.org/10.1016/j.disc.2021.112316 db/journals/dm/dm344.html#EscamocherO21

Michele Garraffa Deepak Mehta 0001 Barry O'Sullivan Cemalettin Ozturk Luis Quesada 0001 An adaptive large neighbourhood search algorithm for diameter bounded network design problems. 887-922 2021 27 J. Heuristics 5 https://doi.org/10.1007/s10732-021-09481-1 db/journals/heuristics/heuristics27.html#GarraffaMOOQ21

Susan Leavy Eugenia Siapera Barry O'Sullivan Ethical Data Curation for AI: An Approach based on Feminist Epistemology and Critical Theories of Race. 695-703 2021 AIES https://doi.org/10.1145/3461702.3462598 conf/aies/2021 db/conf/aies/aies2021.html#LeavySO21 Eddie Armstrong Michele Garraffa Barry O'Sullivan Helmut Simonis The Hybrid Flexible Flowshop with Transportation Times. 16:1-16:18 2021 CP https://doi.org/10.4230/LIPIcs.CP.2021.16 conf/cp/2021 db/conf/cp/cp2021.html#ArmstrongGOS21 Muhammad Imran Khan 0001 Simon N. Foley Barry O'Sullivan Database Intrusion Detection Systems (DIDs): Insider Threat Detection via Behaviour-Based Anomaly Detection Systems - A Brief Survey of Concepts and Approaches. 178-197 2021 EISA https://doi.org/10.1007/978-3-030-93956-4_11 conf/eisa/2021 db/conf/eisa/eisa2021.html#0001FO21 Marco Dalla Andrea Visentin Barry O'Sullivan Automated SAT Problem Feature Extraction using Convolutional Autoencoders. 232-239 2021 ICTAI https://doi.org/10.1109/ICTAI52525.2021.00039 conf/ictai/2021 db/conf/ictai/ictai2021.html#DallaVO21 Sharmi Dev Gupta Begum Genc Barry O'Sullivan Explanation in Constraint Satisfaction: A Survey. 4400-4407 2021 IJCAI https://doi.org/10.24963/ijcai.2021/601 conf/ijcai/2021 db/conf/ijcai/ijcai2021.html#GuptaGO21 Muhammad Imran Khan 0001 Simon N. Foley Barry O'Sullivan Privacy Interpretation of Behaviour-based Anomaly Detection Approaches. 1-7 2021 SIN https://doi.org/10.1109/SIN54109.2021.9699212 conf/sin/2021 db/conf/sin/sin2021.html#KhanFO21 Fredrik Heintz Michela Milano Barry O'Sullivan Trustworthy AI - Integrating Learning, Optimization and Reasoning - First International Workshop, TAILOR 2020, Virtual Event, September 4-5, 2020, Revised Selected Papers TAILOR Springer 2021 Lecture Notes in Computer Science 12641 978-3-030-73958-4 978-3-030-73959-1 https://doi.org/10.1007/978-3-030-73959-1 db/conf/tailor/tailor2020.html

Muhammad Imran Khan 0001 Simon N. Foley Barry O'Sullivan Quantitatively Measuring Privacy in Interactive Query Settings Within RDBMS Framework. 11 2020 3 Frontiers Big Data https://doi.org/10.3389/fdata.2020.00011 https://www.wikidata.org/entity/Q112681424 db/journals/fdata/fdata3.html#0001FO20

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 0001 Mohamed Siala 0002 Helmut Simonis Nic Wilson Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. 2060007:1-2060007:31 2020 29 Int. J. Artif. Intell. Tools 03n04 https://doi.org/10.1142/S0218213020600076 db/journals/ijait/ijait29.html#AntunesABDEGGOL20

Guillaume Escamocher Barry O'Sullivan Steven David Prestwich Generating Difficult CNF Instances in Unexplored Constrainedness Regions. 1-12 2020 25 ACM J. Exp. Algorithmics https://doi.org/10.1145/3385651 https://www.wikidata.org/entity/Q130992879 db/journals/jea/jea25.html#EscamocherOP20

Begum Genc Barry O'Sullivan A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork. 724-742 2020 CP https://doi.org/10.1007/978-3-030-58475-7_42 conf/cp/2020 db/conf/cp/cp2020.html#GencO20 Muhammad Imran Khan 0001 Simon N. Foley Barry O'Sullivan Towards Privacy-anomaly Detection: Discovering Correlation between Privacy and Security-anomalies. 331-339 2020 FNC/MobiSPC https://doi.org/10.1016/j.procs.2020.07.048 https://www.wikidata.org/entity/Q115037731 conf/fnc/2020 db/conf/fnc/fnc2020.html#0001FO20

Susan Leavy Barry O'Sullivan Eugenia Siapera Data, Power and Bias in Artificial Intelligence. 2020 abs/2008.07341 CoRR https://arxiv.org/abs/2008.07341 db/journals/corr/corr2008.html#abs-2008-07341

Muhammad Imran Khan 0001 Simon N. Foley Barry O'Sullivan Database Intrusion Detection Systems (DIDs): Insider Threat Detection via Behavioural-based Anomaly Detection Systems - A Brief Survey of Concepts and Approaches. 2020 abs/2011.02308 CoRR https://arxiv.org/abs/2011.02308 db/journals/corr/corr2011.html#abs-2011-02308

Muhammad Imran Khan 0001 Simon N. Foley Barry O'Sullivan Privacy Interpretation of Behavioural-based Anomaly Detection Approaches. 2020 abs/2012.11541 CoRR https://arxiv.org/abs/2012.11541 db/journals/corr/corr2012.html#abs-2012-11541

Tadhg Fitzgerald Barry O'Sullivan Candidate Selection and Instance Ordering for Realtime Algorithm Configuration. 141-166 2019 166 Fundam. Informaticae 2 https://doi.org/10.3233/FI-2019-1798 db/journals/fuin/fuin166.html#FitzgeraldO19

Mohamed Siala 0002 Barry O'Sullivan Combinatorial search from an energy perspective. 23-27 2019 148 Inf. Process. Lett. https://doi.org/10.1016/j.ipl.2019.04.002 https://www.wikidata.org/entity/Q127951843 db/journals/ipl/ipl148.html#SialaO19

Begum Genc Mohamed Siala 0002 Gilles Simonin Barry O'Sullivan Complexity Study for the Robust Stable Marriage Problem. 76-92 2019 775 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2018.12.017 https://www.wikidata.org/entity/Q128642165 db/journals/tcs/tcs775.html#GencSSO19

Danuta Sorina Chisca Michele Lombardi 0001 Michela Milano Barry O'Sullivan Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem. 108-125 2019 CP https://doi.org/10.1007/978-3-030-30048-7_7 conf/cp/2019 db/conf/cp/cp2019.html#Chisca0MO19 Danuta Sorina Chisca Michele Lombardi 0001 Michela Milano Barry O'Sullivan A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem. 146-162 2019 CPAIOR https://doi.org/10.1007/978-3-030-19212-9_10 conf/cpaior/2019 db/conf/cpaior/cpaior2019.html#Chisca0MO19 Begum Genc Mohamed Siala 0002 Gilles Simonin Barry O'Sullivan An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem. 320-336 2019 CPAIOR https://doi.org/10.1007/978-3-030-19212-9_21 conf/cpaior/2019 db/conf/cpaior/cpaior2019.html#Genc0SO19 Andrea Visentin Alessia Nardotto Barry O'Sullivan Predicting Judicial Decisions: A Statistically Rigorous Approach and a New Ensemble Classifier. 1820-1824 2019 ICTAI https://doi.org/10.1109/ICTAI.2019.00275 conf/ictai/2019 db/conf/ictai/ictai2019.html#VisentinNO19 Muhammad Imran Khan 0001 Simon N. Foley Barry O'Sullivan PriDe: A Quantitative Measure of Privacy-Loss in Interactive Querying Settings. 1-5 2019 NTMS https://doi.org/10.1109/NTMS.2019.8763781 conf/ntms/2019 db/conf/ntms/ntms2019.html#0001FO19

Guillaume Escamocher Barry O'Sullivan Steven David Prestwich Generating Difficult SAT Instances by Preventing Triangles. 2019 abs/1903.03592 CoRR http://arxiv.org/abs/1903.03592 db/journals/corr/corr1903.html#abs-1903-03592

Guillaume Escamocher Barry O'Sullivan Solving Logic Grid Puzzles with an Algorithm that Imitates Human Behavior. 2019 abs/1910.06636 CoRR http://arxiv.org/abs/1910.06636 db/journals/corr/corr1910.html#abs-1910-06636

Vincent Armant Milan De Cauwer Kenneth N. Brown Barry O'Sullivan Semi-online task assignment policies for workload consolidation in cloud computing systems. 89-103 2018 82 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2017.12.035 db/journals/fgcs/fgcs82.html#ArmantCBO18

Alejandro Arbelaez Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 A constraint-based parallel local search for the edge-disjoint rooted distance-constrained minimum spanning tree problem. 359-394 2018 24 J. Heuristics 3 https://doi.org/10.1007/s10732-017-9342-0 db/journals/heuristics/heuristics24.html#ArbelaezMOQ18

Guillaume Escamocher Barry O'Sullivan Pushing the frontier of minimality. 172-201 2018 745 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2018.06.008 https://www.wikidata.org/entity/Q129711130 db/journals/tcs/tcs745.html#EscamocherO18

Muhammad Imran Khan 0001 Barry O'Sullivan Simon N. Foley Towards Modelling Insiders Behaviour as Rare Behaviour to Detect Malicious RDBMS Access. 3094-3099 2018 IEEE BigData https://doi.org/10.1109/BigData.2018.8622047 conf/bigdataconf/2018 db/conf/bigdataconf/bigdataconf2018.html#KhanOF18 Guillaume Escamocher Barry O'Sullivan Three-Dimensional Matching Instances Are Rich in Stable Matchings. 182-197 2018 CPAIOR https://doi.org/10.1007/978-3-319-93031-2_13 conf/cpaior/2018 db/conf/cpaior/cpaior2018.html#EscamocherO18 Guillaume Escamocher Mohamed Siala 0002 Barry O'Sullivan From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP. 198-214 2018 CPAIOR https://doi.org/10.1007/978-3-319-93031-2_14 conf/cpaior/2018 db/conf/cpaior/cpaior2018.html#Escamocher0O18 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 0001 Mohamed Siala 0002 Helmut Simonis Nic Wilson Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. 114-121 2018 ICTAI https://doi.org/10.1109/ICTAI.2018.00027 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2018.00027 conf/ictai/2018 db/conf/ictai/ictai2018.html#AntunesABDEGGOL18 Danuta Sorina Chisca Michele Lombardi 0001 Michela Milano Barry O'Sullivan From Offline to Online Kidney Exchange Optimization. 587-591 2018 ICTAI https://doi.org/10.1109/ICTAI.2018.00095 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2018.00095 conf/ictai/2018 db/conf/ictai/ictai2018.html#Chisca0MO18 Guillaume Escamocher Barry O'Sullivan Constrainedness in Stable Matching. 710-717 2018 ICTAI https://doi.org/10.1109/ICTAI.2018.00112 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2018.00112 conf/ictai/2018 db/conf/ictai/ictai2018.html#EscamocherO18 Alejandro Arbelaez Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks. 633-665 2018 Handbook of Parallel Constraint Reasoning https://doi.org/10.1007/978-3-319-63516-3_17 books/sp/HS2018 db/books/collections/HS2018.html#ArbelaezMO018

Christian Bessiere Frédéric Koriche Nadjib Lazaar Barry O'Sullivan Constraint acquisition. 315-342 2017 244 Artif. Intell. https://doi.org/10.1016/j.artint.2015.08.001 db/journals/ai/ai244.html#BessiereKLO17

Lars Kotthoff Barry Hurley 0001 Barry O'Sullivan The ICON Challenge on Algorithm Selection. 91-93 2017 38 AI Mag. 2 https://doi.org/10.1609/aimag.v38i2.2722 db/journals/aim/aim38.html#KotthoffHO17

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. 44-52 2017 32 IEEE Intell. Syst. 5 https://doi.org/10.1109/MIS.2017.3711637 http://doi.ieeecomputersociety.org/10.1109/MIS.2017.3711637 db/journals/expert/expert32.html#BessiereRGKNNOP17

Nic Wilson Anne-Marie George Barry O'Sullivan Preference Inference Based on Hierarchical and Simple Lexiographic Models. 2017 4 FLAP 7 http://www.collegepublications.co.uk/downloads/ifcolog00016.pdf db/journals/flap/flap4.html#WilsonGO17

Begum Genc Mohamed Siala 0002 Barry O'Sullivan Gilles Simonin Robust Stable Marriage. 4925-4926 2017 AAAI https://doi.org/10.1609/aaai.v31i1.11107 conf/aaai/2017 db/conf/aaai/aaai2017.html#Genc0OS17 Begum Genc Mohamed Siala 0002 Gilles Simonin Barry O'Sullivan On the Complexity of Robust Stable Marriage. 441-448 2017 COCOA (2) https://doi.org/10.1007/978-3-319-71147-8_30 conf/cocoa/2017-2 db/conf/cocoa/cocoa2017-2.html#Genc0SO17 Mohamed Siala 0002 Barry O'Sullivan Rotation-Based Formulation for Stable Matching. 262-277 2017 CP https://doi.org/10.1007/978-3-319-66158-2_17 conf/cp/2017 db/conf/cp/cp2017.html#0002O17 Mohamed Wahbi Diarmuid Grimes Deepak Mehta 0001 Kenneth N. Brown Barry O'Sullivan A Distributed Optimization Method for the Geographically Distributed Data Centres Problem. 147-166 2017 CPAIOR https://doi.org/10.1007/978-3-319-59776-8_12 conf/cpaior/2017 db/conf/cpaior/cpaior2017.html#WahbiGMBO17 Muhammad Imran Khan 0001 Barry O'Sullivan Simon N. Foley A Semantic Approach to Frequency Based Anomaly Detection of Insider Access in Database Management Systems. 18-28 2017 CRiSIS https://doi.org/10.1007/978-3-319-76687-4_2 conf/crisis/2017 db/conf/crisis/crisis2017.html#KhanOF17 Muhammad Imran Khan 0001 Simon N. Foley Barry O'Sullivan On database intrusion detection: A Query analytics-based model of normative behavior to detect insider attacks. 12-17 2017 ICCNS https://doi.org/10.1145/3163058.3163068 https://www.wikidata.org/entity/Q130848638 conf/iccns/2017 db/conf/iccns/iccns2017.html#KhanFO17 Danuta Sorina Chisca Mohamed Siala 0002 Gilles Simonin Barry O'Sullivan New Models for Two Variants of Popular Matching. 752-759 2017 ICTAI https://doi.org/10.1109/ICTAI.2017.00119 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2017.00119 conf/ictai/2017 db/conf/ictai/ictai2017.html#Chisca0SO17 Hong Huang Laura Climent Barry O'Sullivan Acquiring Local Preferences of Weighted Partial MaxSAT. 1065-1072 2017 ICTAI https://doi.org/10.1109/ICTAI.2017.00163 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2017.00163 conf/ictai/2017 db/conf/ictai/ictai2017.html#HuangCO17 Alejandro Arbelaez Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Ata Sasmaz Generation of a reference network for Ireland and its contribution to the design of an optical network architecture. 1-4 2017 ICTON https://doi.org/10.1109/ICTON.2017.8025124 conf/icton/2017 db/conf/icton/icton2017.html#ArbelaezMO0S17 Begum Genc Mohamed Siala 0002 Barry O'Sullivan Gilles Simonin Finding Robust Solutions to Stable Marriage. 631-637 2017 IJCAI https://doi.org/10.24963/ijcai.2017/88 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#Genc0OS17 Tadhg Fitzgerald Barry O'Sullivan Analysing the effect of candidate selection and instance ordering in a realtime algorithm configuration system. 1003-1008 2017 SAC https://doi.org/10.1145/3019612.3019718 conf/sac/2017 db/conf/sac/sac2017.html#FitzgeraldO17

Begum Genc Mohamed Siala 0002 Barry O'Sullivan Gilles Simonin Finding Robust Solutions to Stable Marriage. 2017 abs/1705.09218 CoRR http://arxiv.org/abs/1705.09218 db/journals/corr/corr1705.html#GencSOS17

Begum Genc Mohamed Siala 0002 Gilles Simonin Barry O'Sullivan On the Complexity of Robust Stable Marriage. 2017 abs/1709.06172 CoRR http://arxiv.org/abs/1709.06172 db/journals/corr/corr1709.html#abs-1709-06172

Barry Hurley 0001 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. 413-434 2016 21 Constraints An Int. J. 3 https://doi.org/10.1007/s10601-016-9245-y db/journals/constraints/constraints21.html#HurleyOAKSZG16

Jesus Omaña Iglesias Milan De Cauwer Deepak Mehta 0001 Barry O'Sullivan Liam Murphy 0001 Increasing task consolidation efficiency by using more accurate resource estimations. 407-420 2016 56 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2015.08.018 db/journals/fgcs/fgcs56.html#IglesiasCMOM16

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. 2016 25 Int. J. Artif. Intell. Tools 1 https://doi.org/10.1142/S0218213016600058 db/journals/ijait/ijait25.html#ClimentWOF16 1660005:1-1660005:21

Alan Kinsella Alan F. Smeaton Barry Hurley 0001 Barry O'Sullivan Helmut Simonis Optimizing Energy Costs in a Zinc and Lead Mine. 4022-4027 2016 AAAI https://doi.org/10.1609/aaai.v30i2.19079 conf/aaai/2016 db/conf/aaai/aaai2016.html#KinsellaS0OS16 Danuta Sorina Chisca Mohamed Siala 0002 Gilles Simonin Barry O'Sullivan A CP-Based Approach for Popular Matching. 4202-4203 2016 AAAI https://doi.org/10.1609/aaai.v30i1.9944 conf/aaai/2016 db/conf/aaai/aaai2016.html#ChiscaSSO16 Mohamed Siala 0002 Barry O'Sullivan Revisiting Two-Sided Stability Constraints. 342-357 2016 CPAIOR https://doi.org/10.1007/978-3-319-33954-2_25 conf/cpaior/2016 db/conf/cpaior/cpaior2016.html#0002O16 Begum Genc Barry O'Sullivan Improving Navigation in Critique Graphs. 134-141 2016 ICTAI https://doi.org/10.1109/ICTAI.2016.0030 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2016.0030 conf/ictai/2016 db/conf/ictai/ictai2016.html#GencO16 Hong Huang Barry O'Sullivan Representative Itemset Mining. 142-148 2016 ICTAI https://doi.org/10.1109/ICTAI.2016.0031 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2016.0031 conf/ictai/2016 db/conf/ictai/ictai2016.html#HuangO16 Milan De Cauwer Deepak Mehta 0001 Barry O'Sullivan The Temporal Bin Packing Problem: An Application to Workload Management in Data Centres. 157-164 2016 ICTAI https://doi.org/10.1109/ICTAI.2016.0033 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2016.0033 conf/ictai/2016 db/conf/ictai/ictai2016.html#CauwerMO16 Alejandro Arbelaez Charlotte Truchet Barry O'Sullivan Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. 655-662 2016 ICTAI https://doi.org/10.1109/ICTAI.2016.0105 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2016.0105 conf/ictai/2016 db/conf/ictai/ictai2016.html#ArbelaezTO16 Maribell Sacanamboy Luis Quesada 0001 Freddy Bolanos Álvaro Bernal Noreña Barry O'Sullivan A Comparison between Two Optimisation Alternatives for Mapping in Wireless Network on Chip. 938-945 2016 ICTAI https://doi.org/10.1109/ICTAI.2016.0145 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2016.0145 conf/ictai/2016 db/conf/ictai/ictai2016.html#SacanamboyQBBO16 Anne-Marie George Nic Wilson Barry O'Sullivan Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models. 1081-1087 2016 IJCAI http://www.ijcai.org/Abstract/16/157 conf/ijcai/2016 db/conf/ijcai/ijcai2016.html#GeorgeWO16 Alejandro Arbelaez Barry O'Sullivan Learning a Stopping Criterion for Local Search. 3-16 2016 LION https://doi.org/10.1007/978-3-319-50349-3_1 conf/lion/2016 db/conf/lion/lion2016.html#ArbelaezO16 Laura Climent Barry O'Sullivan Steven D. Prestwich Bounding the Search Space of the Population Harvest Cutting Problem with Multiple Size Stock Selection. 75-90 2016 LION https://doi.org/10.1007/978-3-319-50349-3_6 conf/lion/2016 db/conf/lion/lion2016.html#ClimentOP16 Yuri Malitsky Marius Merschformann Barry O'Sullivan Kevin Tierney Structure-Preserving Instance Generation. 123-140 2016 LION https://doi.org/10.1007/978-3-319-50349-3_9 https://www.wikidata.org/entity/Q60145757 conf/lion/2016 db/conf/lion/lion2016.html#MalitskyMOT16 Gilles Simonin Barry O'Sullivan Requests Management for Smartphone-Based Matching Applications Using a Multi-agent Approach. 173-186 2016 LION https://doi.org/10.1007/978-3-319-50349-3_12 conf/lion/2016 db/conf/lion/lion2016.html#SimoninO16 Diarmuid Grimes Deepak Mehta 0001 Barry O'Sullivan Robert Birke Lydia Y. Chen Thomas Scherer Ignacio Castiñeiras Robust Server Consolidation: Coping with Peak Demand Underestimation. 271-276 2016 MASCOTS https://doi.org/10.1109/MASCOTS.2016.60 https://doi.ieeecomputersociety.org/10.1109/MASCOTS.2016.60 conf/mascots/2016 db/conf/mascots/mascots2016.html#GrimesMOBCSC16 Alejandro Arbelaez Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Comparing tree and chain topologies for designing resilient backhaul access network. 1-6 2016 ONDM https://doi.org/10.1109/ONDM.2016.7494072 conf/ondm/2016 db/conf/ondm/ondm2016.html#ArbelaezMOQ16 Laura Climent Barry O'Sullivan Richard J. Wallace An Improved Metaheuristic Algorithm for Maximizing Demand Satisfaction in the Population Harvest Cutting Stock Problem. 127-128 2016 SOCS https://doi.org/10.1609/socs.v7i1.18397 conf/socs/2016 db/conf/socs/socs2016.html#ClimentOW16 Barry Hurley 0001 Barry O'Sullivan Introduction to Combinatorial Optimisation in Numberjack. 3-24 2016 Data Mining and Constraint Programming https://doi.org/10.1007/978-3-319-50137-6_1 series/lncs/10101 db/series/lncs/lncs10101.html#0001O16 Barry Hurley 0001 Lars Kotthoff Yuri Malitsky Deepak Mehta 0001 Barry O'Sullivan Advanced Portfolio Techniques. 191-225 2016 Data Mining and Constraint Programming https://doi.org/10.1007/978-3-319-50137-6_8 series/lncs/10101 db/series/lncs/lncs10101.html#0001KMMO16 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. 303-309 2016 Data Mining and Constraint Programming https://doi.org/10.1007/978-3-319-50137-6_12 series/lncs/10101 db/series/lncs/lncs10101.html#BessiereRGKNNOPPS16 Mirco Nanni Lars Kotthoff Riccardo Guidotti Barry O'Sullivan Dino Pedreschi ICON Loop Carpooling Show Case. 310-324 2016 Data Mining and Constraint Programming https://doi.org/10.1007/978-3-319-50137-6_13 series/lncs/10101 db/series/lncs/lncs10101.html#NanniKGOP16 Barry Hurley 0001 Lars Kotthoff Barry O'Sullivan Helmut Simonis ICON Loop Health Show Case. 325-333 2016 Data Mining and Constraint Programming https://doi.org/10.1007/978-3-319-50137-6_14 series/lncs/10101 db/series/lncs/lncs10101.html#0001KOS16 Barry Hurley 0001 Barry O'Sullivan Helmut Simonis ICON Loop Energy Show Case. 334-347 2016 Data Mining and Constraint Programming https://doi.org/10.1007/978-3-319-50137-6_15 series/lncs/10101 db/series/lncs/lncs10101.html#0001OS16 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 Data Mining and Constraint Programming Springer 2016 Lecture Notes in Computer Science 10101 978-3-319-50136-9 https://doi.org/10.1007/978-3-319-50137-6 db/series/lncs/lncs10101.html

Barry Hurley 0001 Deepak Mehta 0001 Barry O'Sullivan Elastic Solver: Balancing Solution Time and Energy Consumption. 2016 abs/1605.06940 CoRR http://arxiv.org/abs/1605.06940 db/journals/corr/corr1605.html#0001MO16

Luis Quesada 0001 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. 433-451 2015 20 Constraints An Int. J. 4 https://doi.org/10.1007/s10601-015-9188-8 db/journals/constraints/constraints20.html#QuesadaSBOS15

Danuta Sorina Chisca Ignacio Castiñeiras Deepak Mehta 0001 Barry O'Sullivan On Energy- and Cooling-Aware Data Centre Workload Management. 1111-1114 2015 CCGRID https://doi.org/10.1109/CCGrid.2015.141 https://doi.ieeecomputersociety.org/10.1109/CCGrid.2015.141 conf/ccgrid/2015 db/conf/ccgrid/ccgrid2015.html#ChiscaCMO15 Ignacio Castiñeiras Deepak Mehta 0001 Barry O'Sullivan Energy cost minimisation of geographically distributed data centres. 279-284 2015 CloudNet https://doi.org/10.1109/CloudNet.2015.7335322 conf/cloudnet/2015 db/conf/cloudnet/cloudnet2015.html#CastineirasMO15 Guillaume Escamocher Barry O'Sullivan On the Minimal Constraint Satisfaction Problem: Complexity and Generation. 731-745 2015 COCOA https://doi.org/10.1007/978-3-319-26626-8_54 conf/cocoa/2015 db/conf/cocoa/cocoa2015.html#EscamocherO15 Deepak Mehta 0001 Barry O'Sullivan Cemalettin Ozturk Luis Quesada 0001 An adaptive large neighbourhood search for designing transparent optical core network. 1-8 2015 ConTEL https://doi.org/10.1109/ConTEL.2015.7231187 conf/contel/2015 db/conf/contel/contel2015.html#MehtaOO015 Alejandro Arbelaez Deepak Mehta 0001 Barry O'Sullivan Constraint-Based Local Search for Finding Node-Disjoint Bounded-Paths in Optical Access Networks. 499-507 2015 CP https://doi.org/10.1007/978-3-319-23219-5_35 conf/cp/2015 db/conf/cp/cp2015.html#ArbelaezMO15 Lars Kotthoff Mirco Nanni Riccardo Guidotti Barry O'Sullivan Find Your Way Back: Mobility Profile Mining with Constraints. 638-653 2015 CP https://doi.org/10.1007/978-3-319-23219-5_44 conf/cp/2015 db/conf/cp/cp2015.html#KotthoffNGO15 Alejandro Arbelaez Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 A Constraint-Based Local Search for Edge Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem. 31-46 2015 CPAIOR https://doi.org/10.1007/978-3-319-18008-3_3 conf/cpaior/2015 db/conf/cpaior/cpaior2015.html#ArbelaezMOQ15 Alejandro Arbelaez Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Optimising dual homing for long-reach passive optical networks. 235-242 2015 DRCN https://doi.org/10.1109/DRCN.2015.7149018 conf/drcn/2015 db/conf/drcn/drcn2015.html#ArbelaezMOQ15 Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems. 309-327 2015 ICTAC https://doi.org/10.1007/978-3-319-25150-9_19 conf/ictac/2015 db/conf/ictac/ictac2015.html#MehtaOQ15 Diarmuid Grimes Barry Hurley 0001 Deepak Mehta 0001 Barry O'Sullivan Large Neighbourhood Search for Energy-Efficient Train Timetabling. 828-835 2015 ICTAI https://doi.org/10.1109/ICTAI.2015.122 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2015.122 conf/ictai/2015 db/conf/ictai/ictai2015.html#Grimes0MO15 Alejandro Arbelaez Deepak Mehta 0001 Barry O'Sullivan Cemalettin Ozturk Luis Quesada 0001 A scalable approach for computing distance-bounded node-disjoint paths in optical networks. 1-4 2015 ICTON https://doi.org/10.1109/ICTON.2015.7193474 conf/icton/2015 db/conf/icton/icton2015.html#ArbelaezMOO015 Tadhg Fitzgerald Yuri Malitsky Barry O'Sullivan ReACTR: Realtime Algorithm Configuration through Tournament Rankings. 304-310 2015 IJCAI http://ijcai.org/Abstract/15/049 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#FitzgeraldMO15 Barry Hurley 0001 Barry O'Sullivan Statistical Regimes and Runtime Prediction. 318-324 2015 IJCAI http://ijcai.org/Abstract/15/051 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#0001O15 Nic Wilson Anne-Marie George Barry O'Sullivan Computation and Complexity of Preference Inference Based on Hierarchical Models. 3271-3277 2015 IJCAI http://ijcai.org/Abstract/15/461 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#WilsonGO15 Deepak Mehta 0001 Barry O'Sullivan Cemalletin Ozturk Luis Quesada 0001 Computing distance-bounded node-disjoint paths for all pairs of nodes - An application to optical core network design. 71-77 2015 RNDM@WMNC https://doi.org/10.1109/RNDM.2015.7324311 conf/mwcn/2015rndm db/conf/mwcn/rndm2015.html#MehtaOOQ15 Alejandro Arbelaez Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 A constraint-based local search for designing tree networks with distance and disjoint constraints. 128-134 2015 RNDM@WMNC https://doi.org/10.1109/RNDM.2015.7325219 conf/mwcn/2015rndm db/conf/mwcn/rndm2015.html#ArbelaezMOQ15 Steven D. Prestwich Adejuyigbe O. Fajemisin Laura Climent Barry O'Sullivan Solving a Hard Cutting Stock Problem by Machine Learning and Optimisation. 335-347 2015 ECML/PKDD (1) https://doi.org/10.1007/978-3-319-23528-8_21 conf/pkdd/2015-1 db/conf/pkdd/pkdd2015-1.html#PrestwichFCO15 Ignacio Castiñeiras Danuta Sorina Chisca Deepak Mehta 0001 Barry O'Sullivan Trichotomic Search for Thermal-Aware Data Centre Workload Optimisation. 528-533 2015 UCC https://doi.ieeecomputersociety.org/10.1109/UCC.2015.94 conf/ucc/2015 db/conf/ucc/ucc2015.html#CastineirasCMO15 Dirk Pesch Alan McGibney Piotr Sobonski Susan Rea Thomas Scherer Lydia Yiyu Chen Ton Engbersen Deepak Mehta 0001 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. 540-546 2015 UCC https://doi.ieeecomputersociety.org/10.1109/UCC.2015.96 conf/ucc/2015 db/conf/ucc/ucc2015.html#PeschMSRSCEMOPT15

Hadrien Cambazard Deepak Mehta 0001 Barry O'Sullivan Helmut Simonis Bin Packing with Linear Usage Costs. 2015 abs/1509.06712 CoRR http://arxiv.org/abs/1509.06712 db/journals/corr/corr1509.html#CambazardMOS15

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. 2015 abs/1510.03317 CoRR http://arxiv.org/abs/1510.03317 db/journals/corr/corr1510.html#BessiereRGKNNOP15

David Allouche Isabelle André Sophie Barbe Jessica Davies 0001 Simon de Givry George Katsirelos Barry O'Sullivan Steven D. Prestwich Thomas Schiex Seydou Traoré Computational protein design as an optimization problem. 59-79 2014 212 Artif. Intell. https://doi.org/10.1016/j.artint.2014.03.005 db/journals/ai/ai212.html#AlloucheABDGKOPST14

Hadrien Cambazard Barry O'Sullivan Helmut Simonis A Constraint-Based Dental School Timetabling System. 53-63 2014 35 AI Mag. 1 https://doi.org/10.1609/aimag.v35i1.2503 db/journals/aim/aim35.html#CambazardOS14

Michela Milano Barry O'Sullivan Marco Gavanelli Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence. 22-35 2014 35 AI Mag. 3 https://doi.org/10.1609/aimag.v35i3.2534 https://www.wikidata.org/entity/Q113424380 db/journals/aim/aim35.html#MilanoOG14

Marco Ruffini Lena Wosinska Mohand Achouche Jiajia Chen 0001 Nick J. Doran Farsheed Farjady Julio Montalvo-Garcia Peter Ossieur Barry O'Sullivan Nick Parsons Thomas Pfeiffer 0001 Xing-Zhi Qiu Christian Raack Harald Rohde Marco Schiano Paul D. Townsend Roland Wessäly Xin Yin David B. Payne DISCUS: an end-to-end solution for ubiquitous broadband optical access. 24-56 2014 52 IEEE Commun. Mag. 2 https://doi.org/10.1109/MCOM.2014.6736741 https://www.wikidata.org/entity/Q59208822 db/journals/cm/cm52.html#RuffiniWACDFMOOPPQRRSTWYP14

Eugene C. Freuder Barry O'Sullivan Grand challenges for constraint programming. 150-162 2014 19 Constraints An Int. J. 2 https://doi.org/10.1007/s10601-013-9155-1 db/journals/constraints/constraints19.html#FreuderO14

Diarmuid Grimes Georgiana Ifrim Barry O'Sullivan Helmut Simonis Analyzing the impact of electricity price forecasting on energy cost-aware scheduling. 276-291 2014 4 Sustain. Comput. Informatics Syst. 4 https://doi.org/10.1016/j.suscom.2014.08.009 db/journals/suscom/suscom4.html#GrimesIOS14

Michela Milano Barry O'Sullivan Martin Sachenbacher Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development. 88-89 2014 63 IEEE Trans. Computers 1 https://doi.org/10.1109/TC.2014.4 http://doi.ieeecomputersociety.org/10.1109/TC.2014.4 db/journals/tc/tc63.html#MilanoOS14

Tadhg Fitzgerald Barry O'Sullivan Yuri Malitsky Kevin Tierney Online Search Algorithm Configuration. 3104-3105 2014 AAAI https://doi.org/10.1609/aaai.v28i1.9098 conf/aaai/2014 db/conf/aaai/aaai2014.html#FitzgeraldOMT14 Milan De Cauwer Deepak Mehta 0001 Barry O'Sullivan Helmut Simonis Hadrien Cambazard Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon. 558-561 2014 CCGRID https://doi.org/10.1109/CCGrid.2014.105 https://doi.ieeecomputersociety.org/10.1109/CCGrid.2014.105 conf/ccgrid/2014 db/conf/ccgrid/ccgrid2014.html#CauwerMOSC14 Barry Hurley 0001 Lars Kotthoff Yuri Malitsky Barry O'Sullivan Proteus: A Hierarchical Portfolio of Solvers and Transformations. 301-317 2014 CPAIOR https://doi.org/10.1007/978-3-319-07046-9_22 conf/cpaior/2014 db/conf/cpaior/cpaior2014.html#0001KMO14 Yuri Malitsky Barry O'Sullivan Alessandro Previti João Marques-Silva 0001 A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. 368-376 2014 CPAIOR https://doi.org/10.1007/978-3-319-07046-9_26 conf/cpaior/2014 db/conf/cpaior/cpaior2014.html#MalitskyOPM14 Gilles Simonin Barry O'Sullivan Optimisation for the Ride-Sharing Problem: a Complexity-based Approach. 831-836 2014 ECAI https://doi.org/10.3233/978-1-61499-419-0-831 conf/ecai/2014 db/conf/ecai/ecai2014.html#SimoninO14 David Lesaint Deepak Mehta 0001 Barry O'Sullivan Vincent Vigneron A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database. 1057-1058 2014 ECAI https://doi.org/10.3233/978-1-61499-419-0-1057 conf/ecai/2014 db/conf/ecai/ecai2014.html#LesaintMOV14 Yuri Malitsky Barry O'Sullivan Alessandro Previti João Marques-Silva 0001 Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. 1065-1066 2014 ECAI https://doi.org/10.3233/978-1-61499-419-0-1065 conf/ecai/2014 db/conf/ecai/ecai2014.html#MalitskyOPM14 Andrea Di Giglio Marco Schiano Marco Ruffini David B. Payne Nick J. Doran Mohand Achouche R. Jensen Barry O'Sullivan Thomas Pfeiffer 0001 Rene Bonk Harald Rohde Giuseppe Talli Xin Yin Roland Wessäly Lena Wosinska Julio Montalvo-Garcia Towards the distributed core for ubiquitous superfast broadband optical access. 1-5 2014 EuCNC https://doi.org/10.1109/EuCNC.2014.6882693 https://www.wikidata.org/entity/Q59208825 conf/eucnc/2014 db/conf/eucnc/eucnc2014.html#GiglioSRPDAJOPBRTYWWM14 Alejandro Arbelaez Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Constraint-Based Local Search for the Distance- and Capacity-Bounded Network Design Problem. 178-185 2014 ICTAI https://doi.org/10.1109/ICTAI.2014.35 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2014.35 conf/ictai/2014 db/conf/ictai/ictai2014.html#ArbelaezMOQ14 David Lesaint Deepak Mehta 0001 Barry O'Sullivan Vincent Vigneron A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database. 544-551 2014 ICTAI https://doi.org/10.1109/ICTAI.2014.88 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2014.88 conf/ictai/2014 db/conf/ictai/ictai2014.html#LesaintMOV14 Deepak Mehta 0001 Barry O'Sullivan Cemalettin Ozturk Luis Quesada 0001 Helmut Simonis Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation. 560-567 2014 ICTAI https://doi.org/10.1109/ICTAI.2014.90 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2014.90 conf/ictai/2014 db/conf/ictai/ictai2014.html#MehtaOOQS14 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. 898-905 2014 ICTAI https://doi.org/10.1109/ICTAI.2014.137 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2014.137 conf/ictai/2014 db/conf/ictai/ictai2014.html#ClimentWOF14 Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Marco Ruffini David B. Payne Linda Doyle A scalable optimisation approach to minimising IP protection capacity for Long-Reach PON. 31-36 2014 ONDM https://ieeexplore.ieee.org/document/6855792/ conf/ondm/2014 db/conf/ondm/ondm2014.html#MehtaOQRPD14 Tadhg Fitzgerald Yuri Malitsky Barry O'Sullivan Kevin Tierney ReACT: Real-Time Algorithm Configuration through Tournaments. 2014 SOCS https://doi.org/10.1609/socs.v5i1.18314 conf/socs/2014 db/conf/socs/socs2014.html#FitzgeraldMOT14 62-70 Yuri Malitsky Barry O'Sullivan Latent Features for Algorithm Selection. 2014 SOCS https://doi.org/10.1609/socs.v5i1.18324 conf/socs/2014 db/conf/socs/socs2014.html#MalitskyO14 123-130 Jesus Omaña Iglesias Liam Murphy 0001 Milan De Cauwer Deepak Mehta 0001 Barry O'Sullivan A Methodology for Online Consolidation of Tasks through More Accurate Resource Estimations. 89-98 2014 UCC https://doi.org/10.1109/UCC.2014.17 https://doi.ieeecomputersociety.org/10.1109/UCC.2014.17 http://dl.acm.org/citation.cfm?id=2760011 conf/ucc/2014 db/conf/ucc/ucc2014.html#IglesiasMCMO14 Barry O'Sullivan Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings 2014 Springer Lecture Notes in Computer Science 8656 https://doi.org/10.1007/978-3-319-10428-7 978-3-319-10427-0 CP db/conf/cp/cp2014.html 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) IOS Press 2014 Frontiers in Artificial Intelligence and Applications 263 978-1-61499-418-3 978-1-61499-419-0 ECAI https://ebooks.iospress.nl/volume/ecai-2014 db/conf/ecai/ecai2014.html

Barry Hurley 0001 Serdar Kadioglu Yuri Malitsky Barry O'Sullivan Transformation-based Feature Computation for Algorithm Portfolios. 2014 abs/1401.2474 CoRR http://arxiv.org/abs/1401.2474 db/journals/corr/corr1401.html#0001KMO14

David Lesaint Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Nic Wilson Developing Approaches for Solving a Telecommunications Feature Subscription Problem. 2014 abs/1401.3842 CoRR http://arxiv.org/abs/1401.3842 db/journals/corr/corr1401.html#LesaintMOQW14

Emmanuel Hebrard Dániel Marx Barry O'Sullivan Igor Razgon Soft Constraints of Difference and Equality. 2014 abs/1401.3879 CoRR http://arxiv.org/abs/1401.3879 db/journals/corr/corr1401.html#HebrardMOR14

Luc De Raedt Siegfried Nijssen Barry O'Sullivan Michèle Sebag Constraints, Optimization and Data (Dagstuhl Seminar 14411). 1-31 2014 4 Dagstuhl Reports 10 https://doi.org/10.4230/DagRep.4.10.1 db/journals/dagstuhl-reports/dagstuhl-reports4.html#RaedtNOS14

Vikas Agrawal Christopher Archibald Mehul Bhatt Hung Bui 0001 Diane J. Cook Juan Cortés Christopher W. Geib Vibhav Gogate Hans W. Guesgen Dietmar Jannach Michael Johanson Kristian Kersting George Dimitri Konidaris Lars Kotthoff Martin Michalowski Sriraam Natarajan Barry O'Sullivan Marc Pickett Vedran Podobnik David Poole 0001 Lokendra Shastri Amarda Shehu Gita Sukthankar The AAAI-13 Conference Workshops. 9- 2013 34 AI Mag. 4 https://doi.org/10.1609/aimag.v34i4.2511 https://www.wikidata.org/entity/Q62623704 db/journals/aim/aim34.html#AgrawalABBCCGGGJJKKKMNOPPPSSS13

Dániel Marx Barry O'Sullivan Igor Razgon Finding small separators in linear time via treewidth reduction. 30:1-30:35 2013 9 ACM Trans. Algorithms 4 https://doi.org/10.1145/2500119 db/journals/talg/talg9.html#MarxOR13

Hadrien Cambazard Deepak Mehta 0001 Barry O'Sullivan Helmut Simonis Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres. 47-62 2013 CP https://doi.org/10.1007/978-3-642-40627-0_7 conf/cp/2013 db/conf/cp/cp2013.html#CambazardMOS13 Simon de Givry Steven D. Prestwich Barry O'Sullivan Dead-End Elimination for Weighted CSP. 263-272 2013 CP https://doi.org/10.1007/978-3-642-40627-0_22 conf/cp/2013 db/conf/cp/cp2013.html#GivryPO13 Yuri Malitsky Deepak Mehta 0001 Barry O'Sullivan Helmut Simonis Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem. 176-192 2013 CPAIOR https://doi.org/10.1007/978-3-642-38171-3_12 conf/cpaior/2013 db/conf/cpaior/cpaior2013.html#MalitskyMOS13 Hadrien Cambazard Deepak Mehta 0001 Barry O'Sullivan Helmut Simonis Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres. 44-59 2013 GECON https://doi.org/10.1007/978-3-319-02414-1_4 conf/gecon/2013 db/conf/gecon/gecon2013.html#CambazardMOS13 Milan De Cauwer Barry O'Sullivan A Study of Electricity Price Features on Distributed Internet Data Centers. 60-73 2013 GECON https://doi.org/10.1007/978-3-319-02414-1_5 conf/gecon/2013 db/conf/gecon/gecon2013.html#CauwerO13 Hadrien Cambazard Barry O'Sullivan Helmut Simonis The Deployment of a Constraint-Based Dental School Timetabling System. 2013 IAAI https://doi.org/10.1609/aaai.v27i2.18983 conf/iaai/2013 db/conf/iaai/iaai2013.html#CambazardOS13 1459-1464 Fatih Turkmen Simon N. Foley Barry O'Sullivan William M. Fitzgerald Tarik Hadzic Stylianos Basagiannis Menouer Boubekeur Explanations and Relaxations for Policy Conflicts in Physical Access Control. 330-336 2013 ICTAI https://doi.org/10.1109/ICTAI.2013.57 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2013.57 conf/ictai/2013 db/conf/ictai/ictai2013.html#TurkmenFOFHBB13 Deepak Mehta 0001 Barry O'Sullivan Lars Kotthoff Yuri Malitsky Lazy Branching for Constraint Satisfaction. 1012-1019 2013 ICTAI https://doi.org/10.1109/ICTAI.2013.152 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2013.152 conf/ictai/2013 db/conf/ictai/ictai2013.html#MehtaOKM13 Luis Quesada 0001 Kenneth N. Brown Barry O'Sullivan Lanny Sitanayah Cormac J. Sreenan A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks. 1052-1059 2013 ICTAI https://doi.org/10.1109/ICTAI.2013.157 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2013.157 conf/ictai/2013 db/conf/ictai/ictai2013.html#QuesadaBOSS13 Barry Hurley 0001 Barry O'Sullivan Problem Transformations and Algorithm Selection for CSPs. 2013 IJCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6924 http://ijcai.org/Abstract/13/497 conf/ijcai/2013 db/conf/ijcai/ijcai2013.html#HurleyO13 3221-3222 Marco Collautti Yuri Malitsky Deepak Mehta 0001 Barry O'Sullivan SNNAP: Solver-Based Nearest Neighbor for Algorithm Portfolios. 435-450 2013 ECML/PKDD (3) https://doi.org/10.1007/978-3-642-40994-3_28 conf/pkdd/2013-3 db/conf/pkdd/pkdd2013-3.html#CollauttiMMO13 Yuri Malitsky Deepak Mehta 0001 Barry O'Sullivan Evolving Instance Specific Algorithm Configuration. 2013 SOCS https://doi.org/10.1609/socs.v4i1.18296 conf/socs/2013 db/conf/socs/socs2013.html#MalitskyMO13 133-140 Deepak Mehta 0001 Barry O'Sullivan Helmut Simonis Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices. 26-33 2013 UCC https://doi.org/10.1109/UCC.2013.22 https://doi.ieeecomputersociety.org/10.1109/UCC.2013.22 conf/ucc/2013 db/conf/ucc/ucc2013.html#MehtaOS13

Barry Hurley 0001 Lars Kotthoff Yuri Malitsky Barry O'Sullivan Proteus: A Hierarchical Portfolio of Solvers and Transformations. 2013 CoRR http://arxiv.org/abs/1306.5606 abs/1306.5606 db/journals/corr/corr1306.html#HurleyKMO13

Noa Agmon Vikas Agrawal David W. Aha Yiannis Aloimonos Donagh Buckley Prashant Doshi Christopher W. Geib Floriana Grasso Nancy L. Green Benjamin Johnston Burt Kaliski Christopher Kiekintveld Edith Law Henry Lieberman Ole J. Mengshoel Ted Metzler Joseph Modayil Douglas W. Oard Nilufer Onder Barry O'Sullivan Katerina Pastra Doina Precup Sowmya Ramachandran Chris Reed 0001 Sanem Sariel Talay Ted Selker Lokendra Shastri Stephen F. Smith Satinder Singh 0001 Siddharth Srivastava 0001 Gita Sukthankar David C. Uthus Mary-Anne Williams Reports of the AAAI 2011 Conference Workshops. 2012 33 AI Mag. 1 https://doi.org/10.1609/aimag.v33i1.2390 db/journals/aim/aim33.html#AgmonAAABDGGGJKKLLMMMOOOPPRRTSSSSSSUW12 57-70

Hadrien Cambazard Emmanuel Hebrard Barry O'Sullivan Alexandre Papadopoulos Local search and constraint programming for the post enrolment-based course timetabling problem. 111-135 2012 194 Ann. Oper. Res. 1 https://doi.org/10.1007/s10479-010-0737-7 db/journals/anor/anor194.html#CambazardHOP12

Hadrien Cambazard Eoin O'Mahony Barry O'Sullivan A shortest path-based approach to the multileaf collimator sequencing problem. 81-99 2012 160 Discret. Appl. Math. 1-2 https://doi.org/10.1016/j.dam.2011.09.008 db/journals/dam/dam160.html#CambazardOO12

Marco Ruffini Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Linda Doyle David B. Payne Deployment Strategies for Protected Long-Reach PON. 118-129 2012 4 JOCN 2 https://doi.org/10.1364/jocn.4.000118 db/journals/jocnet/jocnet4.html#Ruffini0O0DP12

Barry O'Sullivan Opportunities and Challenges for Constraint Programming. 2012 AAAI https://doi.org/10.1609/aaai.v26i1.8450 conf/aaai/2012 db/conf/aaai/aaai2012.html#OSullivan12 2148-2152 Barry O'Sullivan Where Are the Interesting Problems? 4-5 2012 CP https://doi.org/10.1007/978-3-642-33558-7_3 conf/cp/2012 db/conf/cp/cp2012.html#OSullivan12 Ignacio Castiñeiras Milan De Cauwer Barry O'Sullivan Weibull-Based Benchmarks for Bin Packing. 207-222 2012 CP https://doi.org/10.1007/978-3-642-33558-7_17 conf/cp/2012 db/conf/cp/cp2012.html#CastineirasCO12 Deepak Mehta 0001 Barry O'Sullivan Helmut Simonis Comparing Solution Methods for the Machine Reassignment Problem. 782-797 2012 CP https://doi.org/10.1007/978-3-642-33558-7_56 conf/cp/2012 db/conf/cp/cp2012.html#MehtaOS12 Georgiana Ifrim Barry O'Sullivan Helmut Simonis Properties of Energy-Price Forecasts for Scheduling. 957-972 2012 CP https://doi.org/10.1007/978-3-642-33558-7_68 conf/cp/2012 db/conf/cp/cp2012.html#IfrimOS12 Hadrien Cambazard Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 A Computational Geometry-Based Local Search Algorithm for Planar Location Problems. 97-112 2012 CPAIOR https://doi.org/10.1007/978-3-642-29828-8_7 conf/cpaior/2012 db/conf/cpaior/cpaior2012.html#CambazardMOQ12 William M. Fitzgerald Fatih Turkmen Simon N. Foley Barry O'Sullivan Anomaly analysis for Physical Access Control security configuration. 1-8 2012 CRiSIS https://doi.org/10.1109/CRISIS.2012.6378953 https://doi.ieeecomputersociety.org/10.1109/CRISIS.2012.6378953 conf/crisis/2012 db/conf/crisis/crisis2012.html#FitzgeraldTFO12 Marco Gavanelli Michela Milano Alan Holland Barry O'Sullivan What-If Analysis Through Simulation-Optimization Hybrids. 624-630 2012 ECMS https://doi.org/10.7148/2012-0624-0630 conf/ecms/2012 db/conf/ecms/ecms2012.html#GavanelliMHO12 Barry Hurley 0001 Barry O'Sullivan Adaptation in a CBR-Based Solver Portfolio for the Satisfiability Problem. 152-166 2012 ICCBR https://doi.org/10.1007/978-3-642-32986-9_13 conf/iccbr/2012 db/conf/iccbr/iccbr2012.html#HurleyO12 Alexandre Papadopoulos Barry O'Sullivan Compiling Domain Consequences. 618-625 2012 conf/ictai/2012 ICTAI https://doi.org/10.1109/ICTAI.2012.89 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2012.89 db/conf/ictai/ictai2012.html#PapadopoulosO12 Marco Ruffini Linda Doyle David B. Payne Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Deployment case studies of an energy efficient protected LR-PON architecture. 1-6 2012 ONDM https://doi.org/10.1109/ONDM.2012.6210220 conf/ondm/2012 db/conf/ondm/ondm2012.html#RuffiniDPMOQ12 Derek Bridge 0001 Eoin O'Mahony Barry O'Sullivan Case-Based Reasoning for Autonomous Constraint Solving. 73-95 2012 Autonomous Search https://doi.org/10.1007/978-3-642-21434-9_4 books/daglib/0028910 db/books/collections/HMS2012.html#BridgeOO12

Raphael A. Finkel Barry O'Sullivan Reasoning about conditional constraint specification problems and feature models. 163-174 2011 25 Artif. Intell. Eng. Des. Anal. Manuf. 2 https://doi.org/10.1017/S0890060410000600 db/journals/aiedam/aiedam25.html#FinkelO08

Hadrien Cambazard John Horan Eoin O'Mahony Barry O'Sullivan Domino portrait generation: a fast and scalable approach. 79-95 2011 184 Ann. Oper. Res. 1 https://doi.org/10.1007/s10479-010-0738-6 db/journals/anor/anor184.html#CambazardHOO11

Emmanuel Hebrard Dániel Marx Barry O'Sullivan Igor Razgon Soft Constraints of Difference and Equality. 97-130 2011 41 J. Artif. Intell. Res. https://doi.org/10.1613/jair.3197 db/journals/jair/jair41.html#HebrardMOR11

Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering. 606-620 2011 CP https://doi.org/10.1007/978-3-642-23786-7_46 conf/cp/2011 db/conf/cp/cp2011.html#MehtaOQ11 Helmut Simonis Barry O'Sullivan Almost Square Packing. 196-209 2011 CPAIOR https://doi.org/10.1007/978-3-642-21311-3_19 conf/cpaior/2011 db/conf/cpaior/cpaior2011.html#SimonisO11 Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Marco Ruffini David B. Payne Linda Doyle Designing Resilient Long-Reach Passive Optical Networks. 2011 IAAI https://doi.org/10.1609/aaai.v25i2.18859 conf/iaai/2011 db/conf/iaai/iaai2011.html#MehtaOQRPD11 1674-1680 Hadrien Cambazard Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Marco Ruffini David B. Payne Linda Doyle A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks. 785-792 2011 ICTAI https://doi.org/10.1109/ICTAI.2011.123 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.123 conf/ictai/2011 db/conf/ictai/ictai2011.html#CambazardMOQRPD11 Barry O'Sullivan An Introduction to Constraint Programming and Combinatorial Optimisation. 534 2011 Reasoning Web https://doi.org/10.1007/978-3-642-23032-5_12 conf/rweb/2011 db/conf/rweb/rweb2011.html#OSullivan11 Emanuele Di Rosa Enrico Giunchiglia Barry O'Sullivan Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. 901-906 2011 SAC https://doi.org/10.1145/1982185.1982382 conf/sac/2011 db/conf/sac/sac2011.html#RosaGO11 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 6384 2011 Springer Lecture Notes in Computer Science https://doi.org/10.1007/978-3-642-19486-3 978-3-642-19485-6 CSCLP db/conf/csclp/csclp2009.html

Hadrien Cambazard Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Marco Ruffini David B. Payne Linda Doyle A Combinatorial Optimisation Approach to Designing Dual-Parented Long-Reach Passive Optical Networks http://arxiv.org/abs/1109.1231 2011 CoRR abs/1109.1231 db/journals/corr/corr1109.html#abs-1109-1231

Dániel Marx Barry O'Sullivan Igor Razgon Finding small separators in linear time via treewidth reduction http://arxiv.org/abs/1110.4765 2011 CoRR abs/1110.4765 db/journals/corr/corr1110.html#abs-1110-4765

Luc De Raedt Siegfried Nijssen Barry O'Sullivan Pascal Van Hentenryck Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201). 61-83 2011 1 Dagstuhl Reports 5 https://doi.org/10.4230/DagRep.1.5.61 db/journals/dagstuhl-reports/dagstuhl-reports1.html#RaedtNOH11

Hadrien Cambazard Barry O'Sullivan Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation". 145-147 2010 15 Constraints An Int. J. 1 https://doi.org/10.1007/s10601-009-9081-4 db/journals/constraints/constraints15.html#CambazardO10

David Lesaint Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Nic Wilson Developing Approaches for Solving a Telecommunications Feature Subscription Problem. 271-305 2010 38 J. Artif. Intell. Res. https://doi.org/10.1613/jair.2992 https://www.wikidata.org/entity/Q129559373 db/journals/jair/jair38.html#LesaintMOQW10

Stefano Bistarelli Simon N. Foley Barry O'Sullivan Francesco Santini 0001 Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria. 595-610 2010 3 Secur. Commun. Networks 6 https://doi.org/10.1002/sec.252 db/journals/scn/scn3.html#BistarelliFOS10

Barry O'Sullivan Automated Modelling and Solving in Constraint Programming. 2010 AAAI https://doi.org/10.1609/aaai.v24i1.7530 conf/aaai/2010 db/conf/aaai/aaai2010.html#OSullivan10 1493-1497 Hadrien Cambazard Barry O'Sullivan Propagating the Bin Packing Constraint Using Linear Programming. 129-136 2010 CP https://doi.org/10.1007/978-3-642-15396-9_13 conf/cp/2010 db/conf/cp/cp2010.html#CambazardO10 David Lesaint Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Nic Wilson Context-Sensitive Call Control Using Constraints and Rules. 583-597 2010 CP https://doi.org/10.1007/978-3-642-15396-9_46 conf/cp/2010 db/conf/cp/cp2010.html#LesaintMOQW10 Hadrien Cambazard Eoin O'Mahony Barry O'Sullivan Hybrid Methods for the Multileaf Collimator Sequencing Problem. 56-70 2010 CPAIOR https://doi.org/10.1007/978-3-642-13520-0_9 conf/cpaior/2010 db/conf/cpaior/cpaior2010.html#CambazardOO10 Emmanuel Hebrard Eoin O'Mahony Barry O'Sullivan Constraint Programming and Combinatorial Optimisation in Numberjack. 181-185 2010 CPAIOR https://doi.org/10.1007/978-3-642-13520-0_22 conf/cpaior/2010 db/conf/cpaior/cpaior2010.html#HebrardOO10 Barry O'Sullivan Steven Keady Enda Keane Sandra Irwin John O'Halloran Data Mining for Biodiversity Prediction in Forests. 289-294 2010 ECAI http://www.booksonline.iospress.nl/Content/View.aspx?piid=17759 conf/ecai/2010 db/conf/ecai/ecai2010.html#OSullivanKKIO10 David Lesaint Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Nic Wilson Improving the Global Constraint SoftPrec. 1061-1062 2010 ECAI https://doi.org/10.3233/978-1-60750-606-5-1061 conf/ecai/2010 db/conf/ecai/ecai2010.html#LesaintMOQW10 Hadrien Cambazard Tarik Hadzic Barry O'Sullivan Knowledge Compilation for Itemset Mining. 1109-1110 2010 ECAI https://doi.org/10.3233/978-1-60750-606-5-1109 conf/ecai/2010 db/conf/ecai/ecai2010.html#CambazardHO10 Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Preferred Explanations for Quantified Constraint Satisfaction Problems. 275-278 2010 ICTAI (1) https://doi.org/10.1109/ICTAI.2010.47 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2010.47 conf/ictai/2010-1 db/conf/ictai/ictai2010-1.html#MehtaOQ10 Dániel Marx Barry O'Sullivan Igor Razgon Treewidth Reduction for Constrained Separation and Bipartization Problems. 561-572 2010 STACS https://doi.org/10.4230/LIPIcs.STACS.2010.2485 conf/stacs/2010 db/conf/stacs/stacs2010.html#MarxOR10 Simon N. Foley Wayne Mac Adams Barry O'Sullivan Aggregating Trust Using Triangular Norms in the KeyNote Trust Management System. 100-115 2010 STM https://doi.org/10.1007/978-3-642-22444-7_7 conf/stm/2010 db/conf/stm/stm2010.html#FoleyAO10

Hadrien Cambazard Barry O'Sullivan Barbara M. Smith A constraint-based approach to Enigma 1225. 1487-1497 2009 58 Comput. Math. Appl. 8 https://doi.org/10.1016/j.camwa.2008.11.019 db/journals/cma/cma58.html#CambazardOS09

Igor Razgon Barry O'Sullivan Almost 2-SAT is fixed-parameter tractable. 435-450 2009 75 J. Comput. Syst. Sci. 8 https://doi.org/10.1016/j.jcss.2009.04.002 db/journals/jcss/jcss75.html#RazgonO09

Christian Bessiere Emmanuel Hebrard Barry O'Sullivan Minimising Decision Tree Size as Combinatorial Optimisation. 173-187 2009 CP https://doi.org/10.1007/978-3-642-04244-7_16 conf/cp/2009 db/conf/cp/cp2009.html#BessiereHO09 Tarik Hadzic Alan Holland Barry O'Sullivan Reasoning about Optimal Collections of Solutions. 409-423 2009 CP https://doi.org/10.1007/978-3-642-04244-7_34 conf/cp/2009 db/conf/cp/cp2009.html#HadzicHO09 Emmanuel Hebrard Dániel Marx Barry O'Sullivan Igor Razgon Constraints of Difference and Equality: A Complete Taxonomic Characterisation. 424-438 2009 CP https://doi.org/10.1007/978-3-642-04244-7_35 conf/cp/2009 db/conf/cp/cp2009.html#HebrardMOR09 Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Nic Wilson Search Space Extraction. 608-622 2009 CP https://doi.org/10.1007/978-3-642-04244-7_48 conf/cp/2009 db/conf/cp/cp2009.html#MehtaOQW09 Alexandre Papadopoulos Barry O'Sullivan Compiling All Possible Conflicts of a CSP. 639-653 2009 CP https://doi.org/10.1007/978-3-642-04244-7_50 conf/cp/2009 db/conf/cp/cp2009.html#PapadopoulosO09 Hadrien Cambazard Eoin O'Mahony Barry O'Sullivan A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem. 41-55 2009 CPAIOR https://doi.org/10.1007/978-3-642-01929-6_5 conf/cpaior/2009 db/conf/cpaior/cpaior2009.html#CambazardOO09 Dara Curran Barry O'Sullivan An Analysis of Lamarckian Learning in Changing Environments. 142-149 2009 ECAL (2) https://doi.org/10.1007/978-3-642-21314-4_18 conf/ecal/2009-2 db/conf/ecal/ecal2009-2.html#CurranO09 John Horan Barry O'Sullivan Towards Diverse Relaxations of Over-Constrained Models. 198-205 2009 ICTAI https://doi.org/10.1109/ICTAI.2009.89 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2009.89 conf/ictai/2009 db/conf/ictai/ictai2009.html#HoranO09 Raphael A. Finkel Barry O'Sullivan Reasoning about Conditional Constraint Specifications. 349-353 2009 ICTAI https://doi.org/10.1109/ICTAI.2009.88 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2009.88 conf/ictai/2009 db/conf/ictai/ictai2009.html#FinkelO09 David Devlin Barry O'Sullivan Preferential Attachment in Constraint Networks. 708-715 2009 ICTAI https://doi.org/10.1109/ICTAI.2009.91 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2009.91 conf/ictai/2009 db/conf/ictai/ictai2009.html#DevlinO09 Tarik Hadzic Eoin O'Mahony Barry O'Sullivan Meinolf Sellmann Enhanced Inference for the Market Split Problem. 716-723 2009 ICTAI https://doi.org/10.1109/ICTAI.2009.83 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2009.83 conf/ictai/2009 db/conf/ictai/ictai2009.html#HadzicOOS09 Tarik Hadzic Barry O'Sullivan Functional Dependencies in MDD-Compiled Product Catalogues. 2009 ITWP https://ceur-ws.org/Vol-528/paper5.pdf conf/ijcai/2009itwp db/conf/ijcai/itwp2009.html#HadzicO09 David Lesaint Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Nic Wilson A Soft Global Precedence Constraint. 566-571 2009 IJCAI http://ijcai.org/Proceedings/09/Papers/100.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#LesaintMOQW09 Tarik Hadzic Barry O'Sullivan Uncovering functional dependencies in MDD-compiled product catalogues. 377-380 2009 RecSys https://doi.org/10.1145/1639714.1639792 conf/recsys/2009 db/conf/recsys/recsys2009.html#HadzicO09

Dániel Marx Barry O'Sullivan Igor Razgon Treewidth reduction for constrained separation and bipartization problems http://arxiv.org/abs/0902.3780 2009 CoRR abs/0902.3780 db/journals/corr/corr0902.html#abs-0902-3780

Jerome Kelleher Barry O'Sullivan Generating All Partitions: A Comparison Of Two Encodings http://arxiv.org/abs/0909.2331 2009 CoRR abs/0909.2331 db/journals/corr/corr0909.html#abs-0909-2331

Hadrien Cambazard Barry O'Sullivan Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation. 385-406 2008 13 Constraints An Int. J. 3 https://doi.org/10.1007/s10601-008-9042-3 db/journals/constraints/constraints13.html#CambazardO08

Xuan-Ha Vu Barry O'Sullivan A Unifying Framework for Generalized Constraint Acquisition. 803-833 2008 17 Int. J. Artif. Intell. Tools 5 https://doi.org/10.1142/S0218213008004175 db/journals/ijait/ijait17.html#VuO08

Jianer Chen Yang Liu 0002 Songjian Lu Barry O'Sullivan Igor Razgon A fixed-parameter algorithm for the directed feedback vertex set problem. 2008 55 J. ACM 5 https://doi.org/10.1145/1411509.1411511 https://www.wikidata.org/entity/Q59650040 db/journals/jacm/jacm55.html#ChenLLOR08 21:1-21:19

David Lesaint Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Nic Wilson Personalisation of Telecommunications Services as Combinatorial Optimisation. 1693-1698 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#LesaintMOQW08 http://www.aaai.org/Library/IAAI/2008/iaai08-011.php Hadrien Cambazard John Horan Eoin O'Mahony Barry O'Sullivan A Hybrid Approach to Domino Portrait Generation. 1874-1875 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#CambazardHOO08 http://www.aaai.org/Library/AAAI/2008/aaai08-326.php Helmut Simonis Barry O'Sullivan Search Strategies for Rectangle Packing. 52-66 2008 CP https://doi.org/10.1007/978-3-540-85958-1_4 conf/cp/2008 db/conf/cp/cp2008.html#SimonisO08 David Lesaint Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Nic Wilson Solving a Telecommunications Feature Subscription Configuration Problem. 67-81 2008 CP https://doi.org/10.1007/978-3-540-85958-1_5 conf/cp/2008 db/conf/cp/cp2008.html#LesaintMOQW08 Emmanuel Hebrard Barry O'Sullivan Igor Razgon A Soft Constraint of Equality: Complexity and Approximability. 358-371 2008 CP https://doi.org/10.1007/978-3-540-85958-1_24 conf/cp/2008 db/conf/cp/cp2008.html#HebrardOR08 Hadrien Cambazard Barry O'Sullivan Reformulating Positive Table Constraints Using Functional Dependencies. 418-432 2008 CP https://doi.org/10.1007/978-3-540-85958-1_28 conf/cp/2008 db/conf/cp/cp2008.html#CambazardO08 Alexandre Papadopoulos Barry O'Sullivan Relaxations for Compiled Over-Constrained Problems. 433-447 2008 CP https://doi.org/10.1007/978-3-540-85958-1_29 conf/cp/2008 db/conf/cp/cp2008.html#PapadopoulosO08 Tarik Hadzic John N. Hooker Barry O'Sullivan Peter Tiedemann Approximate Compilation of Constraints into Multivalued Decision Diagrams. 448-462 2008 CP https://doi.org/10.1007/978-3-540-85958-1_30 conf/cp/2008 db/conf/cp/cp2008.html#HadzicHOT08 Hadrien Cambazard John Horan Eoin O'Mahony Barry O'Sullivan Fast and Scalable Domino Portrait Generation. 51-65 2008 CPAIOR https://doi.org/10.1007/978-3-540-68155-7_7 conf/cpaior/2008 db/conf/cpaior/cpaior2008.html#CambazardHOO08 Stefano Bistarelli Simon N. Foley Barry O'Sullivan Francesco Santini 0001 From Marriages to Coalitions: A Soft CSP Approach. 1-15 2008 CSCLP https://doi.org/10.1007/978-3-642-03251-6_1 conf/csclp/2008 db/conf/csclp/csclp2008.html#BistarelliFOS08 Tarik Hadzic David Lesaint Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Nic Wilson A BDD Approach to the Feature Subscription Problem. 698-702 2008 ECAI https://doi.org/10.3233/978-1-58603-891-5-698 conf/ecai/2008 db/conf/ecai/ecai2008.html#HadzicLMOQW08 Igor Razgon Barry O'Sullivan Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract). 551-562 2008 ICALP (1) https://doi.org/10.1007/978-3-540-70575-8_45 conf/icalp/2008-1 db/conf/icalp/icalp2008-1.html#RazgonO08 Tarik Hadzic Esben Rune Hansen Barry O'Sullivan Layer Compression in Decision Diagrams. 19-26 2008 ICTAI (1) https://doi.org/10.1109/ICTAI.2008.92 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2008.92 conf/ictai/2008-1 db/conf/ictai/ictai2008-1.html#HadzicHO08 David Lesaint Deepak Mehta 0001 Barry O'Sullivan Luis Quesada 0001 Nic Wilson Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription. 283-290 2008 ICTAI (1) https://doi.org/10.1109/ICTAI.2008.61 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2008.61 conf/ictai/2008-1 db/conf/ictai/ictai2008-1.html#LesaintMOQW08 Tarik Hadzic Barry O'Sullivan Critique graphs for catalogue navigation. 115-122 2008 RecSys https://doi.org/10.1145/1454008.1454028 conf/recsys/2008 db/conf/recsys/recsys2008.html#HadzicO08 Jianer Chen Yang Liu 0002 Songjian Lu Barry O'Sullivan Igor Razgon A fixed-parameter algorithm for the directed feedback vertex set problem. 177-186 2008 STOC https://doi.org/10.1145/1374376.1374404 conf/stoc/2008 db/conf/stoc/stoc2008.html#ChenLL08

Igor Razgon Barry O'Sullivan Almost 2-SAT is Fixed-Parameter Tractable http://arxiv.org/abs/0801.1300 2008 CoRR abs/0801.1300 db/journals/corr/corr0801.html#abs-0801-1300

Sarabjot Singh Anand Daniel Bahls Catherina Burghart Mark H. Burstein Huajun Chen John Collins Thomas G. Dietterich Jon Doyle Chris Drummond William Elazmeh Christopher W. Geib Judy Goldsmith Hans W. Guesgen Jim Hendler Dietmar Jannach Nathalie Japkowicz Ulrich Junker Gal A. Kaminka Alfred Kobsa Jérôme Lang David B. Leake Lundy Lewis Gerard Ligozat Sofus A. Macskassy Drew V. McDermott Ted Metzler Bamshad Mobasher Ullas Nambiar Zaiqing Nie Klas Orsvärn Barry O'Sullivan David V. Pynadath Jochen Renz Rita V. Rodríguez Thomas Roth-Berghofer Stefan Schulz 0004 Rudi Studer Yimin Wang Michael P. Wellman AAAI-07 Workshop Reports. 119-128 2007 28 AI Mag. 4 https://doi.org/10.1609/aimag.v28i4.2071 db/journals/aim/aim28.html#AnandBBBCCDDDEGGGHJJJKKLLLLMMMMNNOOPRRRSSWW07

Carsten Sinz Albert Haag Nina Narodytska Toby Walsh Esther M. Gelle Mihaela Sabin Ulrich Junker Barry O'Sullivan Rick Rabiser Deepak Dhungana Paul Grünbacher Klaus Lehner Christian Federspiel Daniel Naus Configuration. 78-90 2007 22 IEEE Intell. Syst. 1 https://doi.org/10.1109/MIS.2007.6 http://doi.ieeecomputersociety.org/10.1109/MIS.2007.6 https://www.wikidata.org/entity/Q62043291 db/journals/expert/expert22.html#SinzHNWGSJORDGLFN07

Barry O'Sullivan Alexandre Papadopoulos Boi Faltings Pearl Pu Representative Explanations for Over-Constrained Problems. 323-328 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#OSullivanPFP07 http://www.aaai.org/Library/AAAI/2007/aaai07-050.php Barry O'Sullivan John Horan Generating and Solving Logic Puzzles through Constraint Satisfaction. 1974-1975 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#OSullivanH07 http://www.aaai.org/Library/AAAI/2007/aaai07-361.php Barbara M. Smith Stefano Bistarelli Barry O'Sullivan Constraint Symmetry for the Soft CSP. 872-879 2007 conf/cp/2007 CP https://doi.org/10.1007/978-3-540-74970-7_66 db/conf/cp/cp2007.html#SmithBO07 Igor Razgon Barry O'Sullivan Gregory M. Provan Generalizing Global Constraints Based on Network Flows. 127-141 2007 CSCLP https://doi.org/10.1007/978-3-540-89812-2_9 conf/csclp/2007 db/conf/csclp/csclp2007.html#RazgonOP07 Margarita Razgon Barry O'Sullivan Gregory M. Provan Search Ordering Heuristics for Restarts-Based Constraint Solving. 182-183 2007 conf/flairs/2007 FLAIRS db/conf/flairs/flairs2007.html#RazgonOP07 http://www.aaai.org/Library/FLAIRS/2007/flairs07-035.php Xuan-Ha Vu Barry O'Sullivan Semiring-Based Constraint Acquisition. 251-258 2007 conf/ictai/2007-1 ICTAI (1) https://doi.org/10.1109/ICTAI.2007.160 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2007.160 db/conf/ictai/ictai2007-1.html#VuO07 Christian Bessiere Remi Coletta Barry O'Sullivan Mathias Paulin Query-Driven Constraint Acquisition. 50-55 2007 conf/ijcai/2007 IJCAI http://ijcai.org/Proceedings/07/Papers/006.pdf db/conf/ijcai/ijcai2007.html#BessiereCOP07 Alex Ferguson Barry O'Sullivan Quantified Constraint Satisfaction Problems: From Relaxations to Explanations. 74-79 2007 conf/ijcai/2007 IJCAI http://ijcai.org/Proceedings/07/Papers/010.pdf db/conf/ijcai/ijcai2007.html#FergusonO07 Emmanuel Hebrard Barry O'Sullivan Toby Walsh Distance Constraints in Constraint Satisfaction. 106-111 2007 conf/ijcai/2007 IJCAI http://ijcai.org/Proceedings/07/Papers/015.pdf db/conf/ijcai/ijcai2007.html#HebrardOW07 Alan Holland Barry O'Sullivan Truthful Risk-Managed Combinatorial Auctions. 1315-1320 2007 conf/ijcai/2007 IJCAI http://ijcai.org/Proceedings/07/Papers/212.pdf db/conf/ijcai/ijcai2007.html#HollandO07 Hadrien Cambazard Barry O'Sullivan A Reformulation-Based Approach to Explanation in Constraint Satisfaction. 395-396 2007 conf/sara/2007 SARA https://doi.org/10.1007/978-3-540-73580-9_32 db/conf/sara/sara2007.html#CambazardO07 Xuan-Ha Vu Barry O'Sullivan Generalized Constraint Acquisition. 411-412 2007 conf/sara/2007 SARA https://doi.org/10.1007/978-3-540-73580-9_40 db/conf/sara/sara2007.html#VuO07 Igor Razgon Barry O'Sullivan Directed Feedback Vertex Set is Fixed-Parameter Tractable. 2007 Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs http://drops.dagstuhl.de/opus/volltexte/2007/1236 conf/dagstuhl/2007P7281 db/conf/dagstuhl/P7281.html#RazgonO07

Igor Razgon Barry O'Sullivan Directed Feedback Vertex Set is Fixed-Parameter Tractable http://arxiv.org/abs/0707.0282 2007 CoRR abs/0707.0282 db/journals/corr/corr0707.html#abs-0707-0282

Barry O'Sullivan Special Issue: Constraints and design. 295 2006 20 Artif. Intell. Eng. Des. Anal. Manuf. 4 https://doi.org/10.1017/S0890060406060215 db/journals/aiedam/aiedam20.html#OSullivan06

Barry O'Sullivan Peter van Beek Introduction to the Special Issue on Principles and Practice of Constraint Programming (CP 2005). 83-84 2006 11 Constraints An Int. J. 2-3 https://doi.org/10.1007/s10601-006-8055-z db/journals/constraints/constraints11.html#OSullivanB06

Tudor Hulubei Barry O'Sullivan The Impact of Search Heuristics on Heavy-Tailed Behaviour. 159-178 2006 11 Constraints An Int. J. 2-3 https://doi.org/10.1007/s10601-006-8061-1 db/journals/constraints/constraints11.html#HulubeiO06

Barry O'Sullivan Gregory M. Provan Approximate Compilation for Embedded Model-based Reasoning. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#OSullivanP06 http://www.aaai.org/Library/AAAI/2006/aaai06-141.php 894-899 Christian Bessiere Remi Coletta Frédéric Koriche Barry O'Sullivan Acquiring Constraint Networks Using a SAT-based Version Space Algorithm. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#BessiereCKO06 http://www.aaai.org/Library/AAAI/2006/aaai06-251.php 1565-1568 Alex Ferguson Barry O'Sullivan Relaxations and Explanations for Quantified Constraint Satisfaction Problems. 690-694 2006 conf/cp/2006 CP https://doi.org/10.1007/11889205_52 db/conf/cp/cp2006.html#FergusonO06 Tudor Hulubei Barry O'Sullivan Failure Analysis in Backtrack Search for Constraint Satisfaction. 731-735 2006 conf/cp/2006 CP https://doi.org/10.1007/11889205_60 db/conf/cp/cp2006.html#HulubeiO06 Tudor Hulubei Barry O'Sullivan Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations. 736-740 2006 conf/cp/2006 CP https://doi.org/10.1007/11889205_61 db/conf/cp/cp2006.html#HulubeiO06a Igor Razgon Barry O'Sullivan Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems. 154-168 2006 conf/csclp/2006 CSCLP https://doi.org/10.1007/978-3-540-73817-6_10 db/conf/csclp/csclp2006.html#RazgonO06 Radoslaw Szymanek Barry O'Sullivan Guiding Search Using Constraint-Level Advice. 158-162 2006 conf/ecai/2006 ECAI db/conf/ecai/ecai2006.html#SzymanekO06 http://www.booksonline.iospress.nl/Content/View.aspx?piid=1666 Simon N. Foley William M. Fitzgerald Stefano Bistarelli Barry O'Sullivan Mícheál Ó Foghlú Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration. 168-180 2006 conf/ipom/2006 IPOM https://doi.org/10.1007/11908852_15 db/conf/ipom/ipom2006.html#FoleyFBOF06 Stefano Bistarelli Éric Monfroy Barry O'Sullivan Special track editorial: constraint solving and programming. 392-393 2006 conf/sac/2006 SAC https://doi.org/10.1145/1141277.1141366 db/conf/sac/sac2006.html#BistarelliMO06 Simon N. Foley Stefano Bistarelli Barry O'Sullivan John Herbert Garret Swart Multilevel Security and Quality of Protection. 93-105 2006 Quality of Protection https://doi.org/10.1007/978-0-387-36584-8_8 series/ais/23 db/series/ais/ais23.html#FoleyBOHS06

Stefano Bistarelli Simon N. Foley Barry O'Sullivan A soft constraint-based approach to the cascade vulnerability problem. 699-720 2005 13 J. Comput. Secur. 5 https://doi.org/10.3233/jcs-2005-13502 https://www.wikidata.org/entity/Q114250860 db/journals/jcs/jcs13.html#BistarelliFO05

Emmanuel Hebrard Brahim Hnich Barry O'Sullivan Toby Walsh Finding Diverse and Similar Solutions in Constraint Programming. 372-377 2005 conf/aaai/2005 AAAI db/conf/aaai/aaai2005.html#HebrardHOW05 http://www.aaai.org/Library/AAAI/2005/aaai05-059.php Alan Holland Barry O'Sullivan Weighted Super Solutions for Constraint Programs. 378-383 2005 conf/aaai/2005 AAAI db/conf/aaai/aaai2005.html#HollandO05 http://www.aaai.org/Library/AAAI/2005/aaai05-060.php Peter Blackburn Barry O'Sullivan Building Reactive Characters for Dynamic Gaming Environments. 2005 conf/cig/2005 CIG http://csapps.essex.ac.uk/cig/2005/papers/p1008.pdf db/conf/cig/cig2005.html#BlackburnO05 Tudor Hulubei Barry O'Sullivan Search Heuristics and Heavy-Tailed Behaviour. 328-342 2005 conf/cp/2005 CP https://doi.org/10.1007/11564751_26 db/conf/cp/cp2005.html#HulubeiO05 Barry O'Callaghan Barry O'Sullivan Eugene C. Freuder Generating Corrective Explanations for Interactive Constraint Satisfaction. 445-459 2005 conf/cp/2005 CP https://doi.org/10.1007/11564751_34 db/conf/cp/cp2005.html#OCallaghanOF05 Christian Bessiere Remi Coletta Frédéric Koriche Barry O'Sullivan A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems. 23-34 2005 conf/ecml/2005 ECML https://doi.org/10.1007/11564096_8 db/conf/ecml/ecml2005.html#BessiereCKO05 Tudor Hulubei Barry O'Sullivan Optimal Refutations for Constraint Satisfaction Problems. 163-168 2005 conf/ijcai/2005 IJCAI http://ijcai.org/Proceedings/05/Papers/0586.pdf db/conf/ijcai/ijcai2005.html#HulubeiO05 Barry O'Sullivan Barry O'Callaghan Eugene C. Freuder Corrective Explanation for Interactive Constraint Satisfaction. 1531-1532 2005 conf/ijcai/2005 IJCAI http://ijcai.org/Proceedings/05/Papers/post-0291.pdf db/conf/ijcai/ijcai2005.html#OSullivanOF05 Stefano Bistarelli Éric Monfroy Barry O'Sullivan Editorial: special track on constraint solving and programming. 364-365 2005 conf/sac/2005 SAC https://doi.org/10.1145/1066677.1066762 db/conf/sac/sac2005.html#BistarelliMO05 Sarah O'Connell Barry O'Sullivan Eugene C. Freuder Timid acquisition of constraint satisfaction problems. 404-408 2005 conf/sac/2005 SAC https://doi.org/10.1145/1066677.1066770 db/conf/sac/sac2005.html#OConnellOF05 Alan Holland Barry O'Sullivan Robust solutions for combinatorial auctions. 183-192 2005 conf/sigecom/2005 EC https://doi.org/10.1145/1064009.1064029 db/conf/sigecom/sigecom2005.html#HollandO05

Alan Holland Barry O'Sullivan Towards Fast Vickrey Pricing using Constraint Programming. 335-352 2004 21 Artif. Intell. Rev. 3-4 https://doi.org/10.1023/B:AIRE.0000036262.43475.22 db/journals/air/air21.html#HollandO04

Barry O'Sullivan Introduction to the Special Issue on User-Interaction in Constraint Satisfaction. 239-240 2004 9 Constraints An Int. J. 4 https://doi.org/10.1023/B:CONS.0000049262.04178.a8 db/journals/constraints/constraints9.html#OSullivan04

Stefano Bistarelli Simon N. Foley Barry O'Sullivan Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints. 808-813 2004 conf/aaai/2004 AAAI db/conf/aaai/aaai2004.html#BistarelliFO04 Christian Bessiere Remi Coletta Eugene C. Freuder Barry O'Sullivan Leveraging the Learning Power of Examples in Automated Constraint Acquisition. 123-137 https://doi.org/10.1007/978-3-540-30201-8_12 2004 conf/cp/2004 CP db/conf/cp/cp2004.html#BessiereCFO04 Alan Holland Barry O'Sullivan Super Solutions for Combinatorial Auctions. 187-200 https://doi.org/10.1007/11402763_14 2004 conf/csclp/2004 CSCLP db/conf/csclp/csclp2004.html#HollandO04 Stefano Bistarelli Eugene C. Freuder Barry O'Sullivan Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. 240-245 2004 conf/ictai/2004 ICTAI https://doi.org/10.1109/ICTAI.2004.58 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2004.58 db/conf/ictai/ictai2004.html#BistarelliFO04 Barry O'Sullivan Alex Ferguson Eugene C. Freuder Boosting Constraint Satisfaction Using Decision Trees. 646-651 2004 conf/ictai/2004 ICTAI https://doi.org/10.1109/ICTAI.2004.38 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2004.38 db/conf/ictai/ictai2004.html#OSullivanFF04 Alan Holland Barry O'Callaghan Barry O'Sullivan Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor. 905-914 https://doi.org/10.1007/978-3-540-24677-0_93 2004 conf/ieaaie/2004 IEA/AIE db/conf/ieaaie/ieaaie2004.html#HollandOO04 Stefano Bistarelli Simon N. Foley Barry O'Sullivan Reasoning about Secure Interoperation Using Soft Constraints. 173-186 2004 conf/ifip1-7/2004 Formal Aspects in Security and Trust https://doi.org/10.1007/0-387-24098-5_13 db/conf/ifip1-7/fast2004.html#BistarelliFO04 Jerome Kelleher Barry O'Sullivan Evaluation-Based Semiring Meta-constraints. 179-189 https://doi.org/10.1007/978-3-540-24694-7_19 2004 conf/micai/2004 MICAI db/conf/micai/micai2004.html#KelleherO04 Stefano Bistarelli Simon N. Foley Barry O'Sullivan Modeling and detecting the cascade vulnerability problem using soft constraints. 383-390 2004 conf/sac/2004 SAC https://doi.org/10.1145/967900.967984 https://www.wikidata.org/entity/Q130921816 db/conf/sac/sac2004.html#BistarelliFO04 Alan Holland Barry O'Callaghan Barry O'Sullivan A Constraint-Aided Conceptual Design Environment for Autodesk Inventor. 422-436 https://doi.org/10.1007/978-3-540-45193-8_29 2003 conf/cp/2003 CP db/conf/cp/cp2003.html#HollandOO03 Remi Coletta Christian Bessière Barry O'Sullivan Eugene C. Freuder Sarah O'Connell Joël Quinqueton Semi-automatic Modeling by Constraint Acquisition. 812-816 https://doi.org/10.1007/978-3-540-45193-8_58 2003 conf/cp/2003 CP db/conf/cp/cp2003.html#ColettaBOFOQ03 Moyra Duggan Barry O'Sullivan Eugene C. Freuder Interactive Tradeoff Generation. 970 https://doi.org/10.1007/978-3-540-45193-8_94 2003 conf/cp/2003 CP db/conf/cp/cp2003.html#DugganOF03 Alan Holland Barry O'Sullivan Algorithmic Mechanism Design and Constraints. 976 https://doi.org/10.1007/978-3-540-45193-8_100 2003 conf/cp/2003 CP db/conf/cp/cp2003.html#HollandO03 Jerome Kelleher Barry O'Sullivan Optimising the Representation and Evaluation of Semiring Combination Constraints. 978 https://doi.org/10.1007/978-3-540-45193-8_102 2003 conf/cp/2003 CP db/conf/cp/cp2003.html#KelleherO03 Barry O'Callaghan Eugene C. Freuder Barry O'Sullivan Useful Explanations. 988 https://doi.org/10.1007/978-3-540-45193-8_112 2003 conf/cp/2003 CP db/conf/cp/cp2003.html#OCallaghanFO03 Sarah O'Connell Barry O'Sullivan Eugene C. Freuder Teacher and Learner Profiles for Constraint Acquisition. 989 https://doi.org/10.1007/978-3-540-45193-8_113 2003 conf/cp/2003 CP db/conf/cp/cp2003.html#OConnellOF03 Stefano Bistarelli Jerome Kelleher Barry O'Sullivan Tradeoff Generation Using Soft Constraints. 124-139 https://doi.org/10.1007/978-3-540-24662-6_7 2003 conf/csclp/2003 CSCLP db/conf/csclp/csclp2003.html#BistarelliKO03 Lisa Purvis Steven Harrington Barry O'Sullivan Eugene C. Freuder Creating personalized documents: an optimization approach. 68-77 2003 conf/doceng/2003 ACM Symposium on Document Engineering https://doi.org/10.1145/958220.958234 db/conf/doceng/doceng2003.html#PurvisHOF03 Stefano Bistarelli Barry O'Sullivan A Theoretical Framework for Tradeoff Generation using Soft Constraints. 69-82 2003 SGAI Conf. https://doi.org/10.1007/978-0-85729-412-8_6 conf/sgai/2003 db/conf/sgai/sgai2003.html#BistarelliO03 Remi Coletta Christian Bessiere Barry O'Sullivan Eugene C. Freuder Sarah O'Connell Joël Quinqueton Constraint Acquisition as Semi-Automatic Modeling. 111-124 2003 SGAI Conf. https://doi.org/10.1007/978-0-85729-412-8_9 conf/sgai/2003 db/conf/sgai/sgai2003.html#ColettaBOFOQ03 Stefano Bistarelli Jerome Kelleher Barry O'Sullivan Symmetry Breaking in Soft CSPs. 199-212 2003 SGAI Conf. https://doi.org/10.1007/978-0-85729-412-8_15 conf/sgai/2003 db/conf/sgai/sgai2003.html#BistarelliKO03 Barry O'Sullivan Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers International Workshop on Constraint Solving and Constraint Logic Programming Lecture Notes in Computer Science 2627 Springer 2003 3-540-00986-8 https://doi.org/10.1007/3-540-36607-5 db/conf/colognet/colognet2002.html Barry O'Sullivan Constraint-Aided Conceptual Design. I-XIV, 1-199 Wiley 2002 Engineering research series 978-1-86058-335-3 http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1860583350.html

Barry O'Sullivan Interactive constraint-aided conceptual design. 303-328 2002 16 Artif. Intell. Eng. Des. Anal. Manuf. 4 db/journals/aiedam/aiedam16.html#OSullivan02 https://doi.org/10.1017/S0890060402164043

Eugene C. Freuder Barry O'Sullivan Generating Tradeoffs for Interactive Constraint-Based Configuration. 590-594 2001 conf/cp/2001 CP https://doi.org/10.1007/3-540-45578-7_45 db/conf/cp/cp2001.html#FreuderO01 Barry O'Sullivan James Bowen A Constraint-Based Approach to Supporting Conceptual Design. 291-308 1998 AID https://doi.org/10.1007/978-94-011-5121-4_15 conf/aid/1998 db/conf/aid/aid1998.html#OSullivanB98 Mohand Achouche Wayne Mac Adams Noa Agmon Vikas Agrawal David W. Aha David Allouche Yiannis Aloimonos Sarabjot S. AnandSarabjot Singh Anand Stefan Andersson-Engels Isabelle André Mark Antunes Alejandro Arbelaez Christopher Archibald Vincent Armant Eddie Armstrong Daniel Bahls Andrea Balogh Sophie Barbe Stylianos Basagiannis Peter van Beek Ruth Helen Bergin Christian BessiereChristian Bessière Mehul Bhatt Róisín Ní Bhroin Robert Birke Stefano Bistarelli Peter Blackburn René BonkRene Bonk Menouer Boubekeur James Bowen Derek G. BridgeDerek Bridge 0001 Kenneth N. Brown David Browne Donagh Buckley Hung Hai BuiHung Bui 0001 Catherina Burghart Adam Burke 0003 Mark H. Burstein Roberta Calegari Hadrien Cambazard Gabriel G. Castañé Ignacio Castiñeiras Milan De Cauwer Joseph Chai Huajun Chen Jiajia Chen 0001 Jianer Chen Lydia Y. ChenLydia Yiyu Chen Danuta Sorina Chisca Laura Climent Remi Coletta Marco Collautti John Collins Murray Connolly Maya Contreras Diane J. Cook Juan Cortés Daniel Crowley Dara Curran Marco Dalla Jake Dalzell Dung Dao Minh-Dung Dao Jessica Davies 0001 Joseph G. Davis Daniel A. Desmond David Devlin Deepak Dhungana Thomas G. Dietterich Virginia Dignum Vedat Dogan Kevin Doherty Ruihai Dong Nick J. Doran Prashant Doshi Jon Doyle Linda Doyle Chris Drummond Moyra Duggan Ege Duran William Elazmeh Antonius P. J. EngbersenTon Engbersen Guillaume Escamocher Adejuyigbe O. Fajemisin Boi Faltings Farsheed Farjady Christian Federspiel Alex Ferguson Raphael A. Finkel Tadhg Fitzgerald William M. Fitzgerald Mícheál Ó Foghlú Simon N. Foley Izzy Fox Maribell Sacanamboy FrancoMaribell Sacanamboy Eugene C. Freuder Gerhard Friedrich Michele Garraffa Rekha Gautam Marco Gavanelli Christopher W. Geib Esther M. Gelle Begum Genc Anne-Marie George Andrea Di Giglio Enrico Giunchiglia Simon de Givry Vibhav Gogate Judy Goldsmith Floriana Grasso Nancy L. Green Josephine Griffith Diarmuid Grimes Paul Grünbacher Hans W. Guesgen Christoph Guger Riccardo Guidotti Tias Guns Sharmi Dev Gupta Albert Haag Tarik Hadzic Ahmed Hamdy Esben Rune Hansen Steven Harrington Emmanuel Hebrard Fredrik Heintz James A. HendlerJim Hendler J. L. M. Hensen Pascal Van Hentenryck John Herbert Brahim Hnich Alan Holland John N. Hooker John Horan Hong Huang Tudor Hulubei Barry Hurley 0001 Georgiana Ifrim Jesus Omaña Iglesias Simone Innocente Sandra Irwin Rhys Jacka Dietmar Jannach Nathalie Japkowicz R. Jensen Michael Johanson Benjamin Johnston Ulrich Junker Serdar Kadioglu Burton S. Kaliski Jr.Burt Kaliski Gal A. Kaminka Dhanaraja Kasinathan George Katsirelos Steven Keady Enda Keane Jerome Kelleher Kristian Kersting Muhammad Imran Khan 0001 Christopher Kiekintveld Alan Kinsella Bennett Kleinberg Alfred Kobsa Katarzyna Komolibus George Dimitri Konidaris Frédéric Koriche Lars Kotthoff Hoang Thanh Lam Jérôme Lang Javier Larrosa Edith Law Nadjib Lazaar Duc-Trong Le Mai Le Quy Minh Le David B. Leake Susan Leavy Klaus Lehner David Lesaint Lundy Lewis Celina L. Li Henry Lieberman Gérard LigozatGerard Ligozat Yiqing Lin Yang Liu 0002 Michele Lombardi 0001 Luca Longo Songjian Lu Dáibhidh Ó Luinín Sofus A. Macskassy Tai Tan Mai Yuri Malitsky João Marques-Silva 0001 Freddy Bolaños MartínezFreddy Bolanos Dániel Marx Drew McDermottDrew V. McDermott Alan McGibney Josh McGiff Deepak Mehta 0001 Ole J. Mengshoel Marius Merschformann Ted Metzler Martin Michalowski Michela Milano Ahmed Missaoui Bamshad Mobasher Joseph Modayil Éric Monfroy Julio Montalvo-Garcia Kayley Moylan William Mulcahy Liam Murphy 0001 Ullas Nambiar Vijayakumar Nanjappan Mirco Nanni Alessia Nardotto Nina Narodytska Pranav Narula Sriraam Natarajan Daniel Naus Duc-Hai Nguyen Hoang D. Nguyen Minh-Duong Nguyen Quang H. Nguyen Zaiqing Nie Siegfried Nijssen Nikola S. Nikolov Álvaro Bernal Noreña Megan Nyhan Douglas W. Oard Barry O'Callaghan Sarah O'Connell John O'Halloran Mike O'Keeffe Eoin O'Mahony Nilufer Onder Klas Orsvärn Rupert Ortner Peter Ossieur Cemalettin OzturkCemalletin Ozturk Enric Pages Shan Ling PanShan L. Pan Alexandre Papadopoulos Anastasia Paparrizou Nicholas ParsonsNick Parsons Katerina Pastra Mathias Paulin David B. Payne Dino Pedreschi Dirk Pesch Thomas Pfeiffer 0001 Hoang Quoc Viet Pham Long Pham Quoc-Viet Pham Marc Pickett Vedran Podobnik David Poole 0001 David Power Doina Precup Steven D. PrestwichSteven David Prestwich Alessandro Previti Gregory M. Provan Benjamin Provan-Bessell Pearl Pu Lisa Purvis David V. Pynadath Xing-Zhi Qiu Luis Quesada 0001 Joël Quinqueton Christian Raack Rick Rabiser Luc De Raedt Sowmya Ramachandran Igor Razgon Margarita Razgon Susan Rea Chris Reed 0001 Jochen Renz Rita V. Rodríguez Harald Rohde Emanuele Di Rosa Nicola Rossberg Thomas Roth-Berghofer Qin Ruan Marco Ruffini Mihaela Sabin Martin Sachenbacher Fabio Salassa Kinza Salim Francesco Santini 0001 Sanem SarielSanem Sariel Talay Ata Sasmaz Teresa Scantamburlo Torsten Schaub Thomas Scherer Marco Schiano Thomas Schiex Stefan Schulz 0004 Michèle Sebag Ted Selker Meinolf Sellmann Lokendra Shastri Amarda Shehu George Shorten Mohamed Siala 0002 Eugenia Siapera Gilles Simonin Helmut Simonis Satinder Singh 0001 Carsten Sinz Lanny Sitanayah Alan F. Smeaton Barbara M. Smith Stephen F. Smith Daniel Snow Piotr Sobonski Filipe Souza Cormac J. Sreenan Siddharth Srivastava 0001 Rudi Studer Gita Reese SukthankarGita Sukthankar Garret Swart Radoslaw Szymanek Giuseppe Talli Peter Tiedemann Kevin Tierney Alex To J. Ignacio Torrens Jacinta Townley Paul D. Townsend Khanh-Tung Tran Seydou Traoré Charlotte Truchet Luca Turchet Fatih Turkmen David C. Uthus Vincent Vigneron Andrea Visentin Nguyet-Hang Vu Xuan-Ha Vu Mohamed Wahbi Richard J. Wallace Toby Walsh Yimin Wang Michael P. Wellman Roland Wessäly Mary-Anne Williams Nic Wilson Lena Wosinska Jin Xu Xin Yin Arjumand Younus Vojtech Zavrel Mingxing Zhang Matthias Zytnicki