default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBarry O'Sullivan
Person information
- affiliation: University College Cork, Ireland
- not to be confused with: Barry J. O'Sullivan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j56]Luca Turchet
, Barry O'Sullivan, Rupert Ortner, Christoph Guger:
Emotion Recognition of Playing Musicians From EEG, ECG, and Acoustic Signals. IEEE Trans. Hum. Mach. Syst. 54(5): 619-629 (2024)- [c224]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. AAAI 2024: 23119-23127 - [c223]Vedat Dogan, Steven D. Prestwich, Barry O'Sullivan:
A Fully Bayesian Approach to Bilevel Problems. ADT 2024: 144-159 - [c222]Filipe Souza, Diarmuid Grimes, Barry O'Sullivan:
An Investigation of Generic Approaches to Large Neighbourhood Search (Short Paper). CP 2024: 39:1-39:10 - [c221]Khanh-Tung Tran, Barry O'Sullivan, Hoang D. Nguyen:
UCCIX: Irish-eXcellence Large Language Model. ECAI 2024: 4503-4506 - [c220]Daniel Crowley, Marco Dalla, Barry O'Sullivan, Andrea Visentin:
SAT Instances Generation Using Graph Variational Autoencoders. ESANN 2024 - [c219]Ege Duran, Cemalettin Ozturk, Barry O'Sullivan:
Exact and Heuristic Methods for Planning and Scheduling Collaborative Manufacturing Systems. PRO-VE (2) 2024: 53-68 - [e7]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. CEUR Workshop Proceedings 3808, CEUR-WS.org 2024 [contents] - [i31]Khanh-Tung Tran, Barry O'Sullivan, Hoang D. Nguyen:
UCCIX: Irish-eXcellence Large Language Model. CoRR abs/2405.13010 (2024) - [i30]Nic Wilson, Anne-Marie George, Barry O'Sullivan:
Computation and Complexity of Preference Inference Based on Hierarchical Models. CoRR abs/2409.11044 (2024) - [i29]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. CoRR abs/2409.12396 (2024) - [i28]Anne-Marie George, Nic Wilson, Barry O'Sullivan:
Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models. CoRR abs/2410.23934 (2024) - 2023
- [c218]Ahmed Missaoui, Cemalettin Ozturk, Barry O'Sullivan:
Iterated Greedy Algorithms for Combinatorial Optimization: A Systematic Literature Review. AICCSA 2023: 1-7 - [c217]Filipe Souza, Diarmuid Grimes, Barry O'Sullivan:
Improved Variable-Relationship Guided LNS for the Data Centre Machine Reassignment Problem. AICS 2023: 1-4 - [c216]Ahmed Missaoui, Cemalettin Ozturk, Barry O'Sullivan:
Energy-Efficient Multi-Objective Hybrid Flowshop Scheduling Problem with Blocking Constraints. CoDIT 2023: 1-6 - [c215]Andrea Balogh, Guillaume Escamocher, Barry O'Sullivan:
Partial Compilation of SAT Using Selective Backbones. ECAI 2023: 174-181 - [c214]Roberta Calegari, Gabriel G. Castañé, Michela Milano, Barry O'Sullivan:
Assessing and Enforcing Fairness in the AI Lifecycle. IJCAI 2023: 6554-6562 - [c213]Andrea Balogh, Barry O'Sullivan:
Breaking Symmetry for Knowledge Compilation. SAC 2023: 991-994 - [c212]Marco Dalla, Benjamin Provan-Bessell, Andrea Visentin, Barry O'Sullivan:
SAT Feature Analysis for Machine Learning Classification Tasks. SOCS 2023: 138-142 - [c211]Ruth Helen Bergin, Marco Dalla, Andrea Visentin, Barry O'Sullivan, Gregory M. Provan:
Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. SOCS 2023: 169-170 - [i27]Long Pham, Barry O'Sullivan, Tai Tan Mai:
Key Factors Affecting European Reactions to AI in European Full and Flawed Democracies. CoRR abs/2311.09231 (2023) - 2022
- [j55]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. Comput. Oper. Res. 146: 105862 (2022) - [j54]Guillaume Escamocher, Barry O'Sullivan:
Regular pattern-free coloring. Discret. Appl. Math. 321: 109-125 (2022) - [c210]Filipe Souza, Diarmuid Grimes, Barry O'Sullivan:
A Large Neighborhood Search Approach for the Data Centre Machine Reassignment Problem. AICS 2022: 397-408 - [c209]Filipe Souza, Diarmuid Grimes, Barry O'Sullivan:
Variable-Relationship Guided LNS for the Car Sequencing Problem. AICS 2022: 437-449 - [c208]Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis:
A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times. CPAIOR 2022: 1-13 - [i26]Sharmi Dev Gupta, Begum Genc, Barry O'Sullivan:
Finding Counterfactual Explanations through Constraint Relaxations. CoRR abs/2204.03429 (2022) - [i25]Benjamin Provan-Bessell, Marco Dalla, Andrea Visentin, Barry O'Sullivan:
SATfeatPy - A Python-based Feature Extraction System for Satisfiability. CoRR abs/2204.14116 (2022) - [i24]Guillaume Escamocher, Barry O'Sullivan:
Generation and Prediction of Difficult Model Counting Instances. CoRR abs/2212.02893 (2022) - 2021
- [j53]Steven D. Prestwich, Eugene C. Freuder, Barry O'Sullivan, David Browne:
Classifier-based constraint acquisition. Ann. Math. Artif. Intell. 89(7): 655-674 (2021) - [j52]Guillaume Escamocher, Barry O'Sullivan:
Leprechauns on the chessboard. Discret. Math. 344(5): 112316 (2021) - [j51]Michele Garraffa, Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada:
An adaptive large neighbourhood search algorithm for diameter bounded network design problems. J. Heuristics 27(5): 887-922 (2021) - [c207]Susan Leavy, Eugenia Siapera, Barry O'Sullivan:
Ethical Data Curation for AI: An Approach based on Feminist Epistemology and Critical Theories of Race. AIES 2021: 695-703 - [c206]Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis:
The Hybrid Flexible Flowshop with Transportation Times. CP 2021: 16:1-16:18 - [c205]Muhammad Imran Khan, 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. EISA 2021: 178-197 - [c204]Marco Dalla, Andrea Visentin, Barry O'Sullivan:
Automated SAT Problem Feature Extraction using Convolutional Autoencoders. ICTAI 2021: 232-239 - [c203]Sharmi Dev Gupta, Begum Genc, Barry O'Sullivan:
Explanation in Constraint Satisfaction: A Survey. IJCAI 2021: 4400-4407 - [c202]Muhammad Imran Khan, Simon N. Foley, Barry O'Sullivan:
Privacy Interpretation of Behaviour-based Anomaly Detection Approaches. SIN 2021: 1-7 - [e6]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. Lecture Notes in Computer Science 12641, Springer 2021, ISBN 978-3-030-73958-4 [contents] - 2020
- [j50]Muhammad Imran Khan, Simon N. Foley, Barry O'Sullivan:
Quantitatively Measuring Privacy in Interactive Query Settings Within RDBMS Framework. Frontiers Big Data 3: 11 (2020) - [j49]Mark Antunes, Vincent Armant, Kenneth N. Brown, Daniel A. Desmond, Guillaume Escamocher, Anne-Marie George, Diarmuid Grimes, Mike O'Keeffe, Yiqing Lin, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Mohamed Siala, Helmut Simonis, Nic Wilson:
Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. Int. J. Artif. Intell. Tools 29(03n04): 2060007:1-2060007:31 (2020) - [j48]Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich:
Generating Difficult CNF Instances in Unexplored Constrainedness Regions. ACM J. Exp. Algorithmics 25: 1-12 (2020) - [c201]Begum Genc, Barry O'Sullivan:
A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork. CP 2020: 724-742 - [c200]Muhammad Imran Khan, Simon N. Foley, Barry O'Sullivan:
Towards Privacy-anomaly Detection: Discovering Correlation between Privacy and Security-anomalies. FNC/MobiSPC 2020: 331-339 - [i23]Susan Leavy, Barry O'Sullivan, Eugenia Siapera:
Data, Power and Bias in Artificial Intelligence. CoRR abs/2008.07341 (2020) - [i22]Muhammad Imran Khan, 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. CoRR abs/2011.02308 (2020) - [i21]Muhammad Imran Khan, Simon N. Foley, Barry O'Sullivan:
Privacy Interpretation of Behavioural-based Anomaly Detection Approaches. CoRR abs/2012.11541 (2020)
2010 – 2019
- 2019
- [j47]Tadhg Fitzgerald, Barry O'Sullivan:
Candidate Selection and Instance Ordering for Realtime Algorithm Configuration. Fundam. Informaticae 166(2): 141-166 (2019) - [j46]Mohamed Siala, Barry O'Sullivan:
Combinatorial search from an energy perspective. Inf. Process. Lett. 148: 23-27 (2019) - [j45]Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan:
Complexity Study for the Robust Stable Marriage Problem. Theor. Comput. Sci. 775: 76-92 (2019) - [c199]Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan:
Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem. CP 2019: 108-125 - [c198]Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan:
A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem. CPAIOR 2019: 146-162 - [c197]Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan:
An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem. CPAIOR 2019: 320-336 - [c196]Andrea Visentin, Alessia Nardotto, Barry O'Sullivan:
Predicting Judicial Decisions: A Statistically Rigorous Approach and a New Ensemble Classifier. ICTAI 2019: 1820-1824 - [c195]Muhammad Imran Khan, Simon N. Foley, Barry O'Sullivan:
PriDe: A Quantitative Measure of Privacy-Loss in Interactive Querying Settings. NTMS 2019: 1-5 - [i20]Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich:
Generating Difficult SAT Instances by Preventing Triangles. CoRR abs/1903.03592 (2019) - [i19]Guillaume Escamocher, Barry O'Sullivan:
Solving Logic Grid Puzzles with an Algorithm that Imitates Human Behavior. CoRR abs/1910.06636 (2019) - 2018
- [j44]Vincent Armant, Milan De Cauwer, Kenneth N. Brown, Barry O'Sullivan:
Semi-online task assignment policies for workload consolidation in cloud computing systems. Future Gener. Comput. Syst. 82: 89-103 (2018) - [j43]Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada:
A constraint-based parallel local search for the edge-disjoint rooted distance-constrained minimum spanning tree problem. J. Heuristics 24(3): 359-394 (2018) - [j42]Guillaume Escamocher, Barry O'Sullivan:
Pushing the frontier of minimality. Theor. Comput. Sci. 745: 172-201 (2018) - [c194]Muhammad Imran Khan, Barry O'Sullivan, Simon N. Foley:
Towards Modelling Insiders Behaviour as Rare Behaviour to Detect Malicious RDBMS Access. IEEE BigData 2018: 3094-3099 - [c193]Guillaume Escamocher, Barry O'Sullivan:
Three-Dimensional Matching Instances Are Rich in Stable Matchings. CPAIOR 2018: 182-197 - [c192]Guillaume Escamocher, Mohamed Siala, Barry O'Sullivan:
From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP. CPAIOR 2018: 198-214 - [c191]Mark Antunes, Vincent Armant, Kenneth N. Brown, Daniel A. Desmond, Guillaume Escamocher, Anne-Marie George, Diarmuid Grimes, Mike O'Keeffe, Yiqing Lin, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Mohamed Siala, Helmut Simonis, Nic Wilson:
Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. ICTAI 2018: 114-121 - [c190]Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan:
From Offline to Online Kidney Exchange Optimization. ICTAI 2018: 587-591 - [c189]Guillaume Escamocher, Barry O'Sullivan:
Constrainedness in Stable Matching. ICTAI 2018: 710-717 - [p9]Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada:
Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks. Handbook of Parallel Constraint Reasoning 2018: 633-665 - 2017
- [j41]Christian Bessiere, Frédéric Koriche, Nadjib Lazaar, Barry O'Sullivan:
Constraint acquisition. Artif. Intell. 244: 315-342 (2017) - [j40]Lars Kotthoff, Barry Hurley, Barry O'Sullivan:
The ICON Challenge on Algorithm Selection. AI Mag. 38(2): 91-93 (2017) - [j39]Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis:
The Inductive Constraint Programming Loop. IEEE Intell. Syst. 32(5): 44-52 (2017) - [j38]Nic Wilson, Anne-Marie George, Barry O'Sullivan:
Preference Inference Based on Hierarchical and Simple Lexiographic Models. FLAP 4(7) (2017) - [c188]Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin:
Robust Stable Marriage. AAAI 2017: 4925-4926 - [c187]Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan:
On the Complexity of Robust Stable Marriage. COCOA (2) 2017: 441-448 - [c186]Mohamed Siala, Barry O'Sullivan:
Rotation-Based Formulation for Stable Matching. CP 2017: 262-277 - [c185]Mohamed Wahbi, Diarmuid Grimes, Deepak Mehta, Kenneth N. Brown, Barry O'Sullivan:
A Distributed Optimization Method for the Geographically Distributed Data Centres Problem. CPAIOR 2017: 147-166 - [c184]Muhammad Imran Khan, Barry O'Sullivan, Simon N. Foley:
A Semantic Approach to Frequency Based Anomaly Detection of Insider Access in Database Management Systems. CRiSIS 2017: 18-28 - [c183]Muhammad Imran Khan, Simon N. Foley, Barry O'Sullivan:
On database intrusion detection: A Query analytics-based model of normative behavior to detect insider attacks. ICCNS 2017: 12-17 - [c182]Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, Barry O'Sullivan:
New Models for Two Variants of Popular Matching. ICTAI 2017: 752-759 - [c181]Hong Huang, Laura Climent, Barry O'Sullivan:
Acquiring Local Preferences of Weighted Partial MaxSAT. ICTAI 2017: 1065-1072 - [c180]Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Ata Sasmaz:
Generation of a reference network for Ireland and its contribution to the design of an optical network architecture. ICTON 2017: 1-4 - [c179]Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin:
Finding Robust Solutions to Stable Marriage. IJCAI 2017: 631-637 - [c178]Tadhg Fitzgerald, Barry O'Sullivan:
Analysing the effect of candidate selection and instance ordering in a realtime algorithm configuration system. SAC 2017: 1003-1008 - [i18]Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin:
Finding Robust Solutions to Stable Marriage. CoRR abs/1705.09218 (2017) - [i17]Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan:
On the Complexity of Robust Stable Marriage. CoRR abs/1709.06172 (2017) - 2016
- [j37]Barry Hurley, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry:
Multi-language evaluation of exact solvers in graphical model discrete optimization. Constraints An Int. J. 21(3): 413-434 (2016) - [j36]Jesús Omana Iglesias, Milan De Cauwer, Deepak Mehta, Barry O'Sullivan, Liam Murphy:
Increasing task consolidation efficiency by using more accurate resource estimations. Future Gener. Comput. Syst. 56: 407-420 (2016) - [j35]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. Int. J. Artif. Intell. Tools 25(1): 1660005:1-1660005:21 (2016) - [c177]Alan Kinsella, Alan F. Smeaton, Barry Hurley, Barry O'Sullivan, Helmut Simonis:
Optimizing Energy Costs in a Zinc and Lead Mine. AAAI 2016: 4022-4027 - [c176]Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, Barry O'Sullivan:
A CP-Based Approach for Popular Matching. AAAI 2016: 4202-4203 - [c175]Mohamed Siala, Barry O'Sullivan:
Revisiting Two-Sided Stability Constraints. CPAIOR 2016: 342-357 - [c174]Begum Genc, Barry O'Sullivan:
Improving Navigation in Critique Graphs. ICTAI 2016: 134-141 - [c173]Hong Huang, Barry O'Sullivan:
Representative Itemset Mining. ICTAI 2016: 142-148 - [c172]Milan De Cauwer, Deepak Mehta, Barry O'Sullivan:
The Temporal Bin Packing Problem: An Application to Workload Management in Data Centres. ICTAI 2016: 157-164 - [c171]Alejandro Arbelaez, Charlotte Truchet, Barry O'Sullivan:
Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. ICTAI 2016: 655-662 - [c170]Maribell Sacanamboy, Luis Quesada, Freddy Bolanos, Álvaro Bernal Noreña, Barry O'Sullivan:
A Comparison between Two Optimisation Alternatives for Mapping in Wireless Network on Chip. ICTAI 2016: 938-945 - [c169]Anne-Marie George, Nic Wilson, Barry O'Sullivan:
Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models. IJCAI 2016: 1081-1087 - [c168]Alejandro Arbelaez, Barry O'Sullivan:
Learning a Stopping Criterion for Local Search. LION 2016: 3-16 - [c167]Laura Climent, Barry O'Sullivan, Steven D. Prestwich:
Bounding the Search Space of the Population Harvest Cutting Problem with Multiple Size Stock Selection. LION 2016: 75-90 - [c166]Yuri Malitsky, Marius Merschformann, Barry O'Sullivan, Kevin Tierney:
Structure-Preserving Instance Generation. LION 2016: 123-140 - [c165]Gilles Simonin, Barry O'Sullivan:
Requests Management for Smartphone-Based Matching Applications Using a Multi-agent Approach. LION 2016: 173-186 - [c164]Diarmuid Grimes, Deepak Mehta, Barry O'Sullivan, Robert Birke, Lydia Y. Chen, Thomas Scherer, Ignacio Castiñeiras:
Robust Server Consolidation: Coping with Peak Demand Underestimation. MASCOTS 2016: 271-276 - [c163]Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada:
Comparing tree and chain topologies for designing resilient backhaul access network. ONDM 2016: 1-6 - [c162]Laura Climent, Barry O'Sullivan, Richard J. Wallace:
An Improved Metaheuristic Algorithm for Maximizing Demand Satisfaction in the Population Harvest Cutting Stock Problem. SOCS 2016: 127-128 - [p8]Barry Hurley, Barry O'Sullivan:
Introduction to Combinatorial Optimisation in Numberjack. Data Mining and Constraint Programming 2016: 3-24 - [p7]Barry Hurley, Lars Kotthoff, Yuri Malitsky, Deepak Mehta, Barry O'Sullivan:
Advanced Portfolio Techniques. Data Mining and Constraint Programming 2016: 191-225 - [p6]Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis:
The Inductive Constraint Programming Loop. Data Mining and Constraint Programming 2016: 303-309 - [p5]Mirco Nanni, Lars Kotthoff, Riccardo Guidotti, Barry O'Sullivan, Dino Pedreschi:
ICON Loop Carpooling Show Case. Data Mining and Constraint Programming 2016: 310-324 - [p4]Barry Hurley, Lars Kotthoff, Barry O'Sullivan, Helmut Simonis:
ICON Loop Health Show Case. Data Mining and Constraint Programming 2016: 325-333 - [p3]Barry Hurley, Barry O'Sullivan, Helmut Simonis:
ICON Loop Energy Show Case. Data Mining and Constraint Programming 2016: 334-347 - [e5]Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi:
Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach. Lecture Notes in Computer Science 10101, Springer 2016, ISBN 978-3-319-50136-9 [contents] - [i16]Barry Hurley, Deepak Mehta, Barry O'Sullivan:
Elastic Solver: Balancing Solution Time and Energy Consumption. CoRR abs/1605.06940 (2016) - 2015
- [j34]Luis Quesada, Lanny Sitanayah, Kenneth N. Brown, Barry O'Sullivan, Cormac J. Sreenan:
A constraint programming approach to the additional relay placement problem in wireless sensor networks. Constraints An Int. J. 20(4): 433-451 (2015) - [c161]Danuta Sorina Chisca, Ignacio Castiñeiras, Deepak Mehta, Barry O'Sullivan:
On Energy- and Cooling-Aware Data Centre Workload Management. CCGRID 2015: 1111-1114 - [c160]Ignacio Castiñeiras, Deepak Mehta, Barry O'Sullivan:
Energy cost minimisation of geographically distributed data centres. CloudNet 2015: 279-284 - [c159]Guillaume Escamocher, Barry O'Sullivan:
On the Minimal Constraint Satisfaction Problem: Complexity and Generation. COCOA 2015: 731-745 - [c158]Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada:
An adaptive large neighbourhood search for designing transparent optical core network. ConTEL 2015: 1-8 - [c157]Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan:
Constraint-Based Local Search for Finding Node-Disjoint Bounded-Paths in Optical Access Networks. CP 2015: 499-507 - [c156]Lars Kotthoff, Mirco Nanni, Riccardo Guidotti, Barry O'Sullivan:
Find Your Way Back: Mobility Profile Mining with Constraints. CP 2015: 638-653 - [c155]Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada:
A Constraint-Based Local Search for Edge Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem. CPAIOR 2015: 31-46 - [c154]Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada:
Optimising dual homing for long-reach passive optical networks. DRCN 2015: 235-242 - [c153]Deepak Mehta, Barry O'Sullivan, Luis Quesada:
Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems. ICTAC 2015: 309-327 - [c152]Diarmuid Grimes, Barry Hurley, Deepak Mehta, Barry O'Sullivan:
Large Neighbourhood Search for Energy-Efficient Train Timetabling. ICTAI 2015: 828-835 - [c151]Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada:
A scalable approach for computing distance-bounded node-disjoint paths in optical networks. ICTON 2015: 1-4 - [c150]Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan:
ReACTR: Realtime Algorithm Configuration through Tournament Rankings. IJCAI 2015: 304-310 - [c149]Barry Hurley, Barry O'Sullivan:
Statistical Regimes and Runtime Prediction. IJCAI 2015: 318-324 - [c148]Nic Wilson, Anne-Marie George, Barry O'Sullivan:
Computation and Complexity of Preference Inference Based on Hierarchical Models. IJCAI 2015: 3271-3277 - [c147]Deepak Mehta, Barry O'Sullivan, Cemalletin Ozturk, Luis Quesada:
Computing distance-bounded node-disjoint paths for all pairs of nodes - An application to optical core network design. RNDM@WMNC 2015: 71-77 - [c146]Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada:
A constraint-based local search for designing tree networks with distance and disjoint constraints. RNDM@WMNC 2015: 128-134 - [c145]Steven D. Prestwich, Adejuyigbe O. Fajemisin, Laura Climent, Barry O'Sullivan:
Solving a Hard Cutting Stock Problem by Machine Learning and Optimisation. ECML/PKDD (1) 2015: 335-347 - [c144]Ignacio Castiñeiras, Danuta Sorina Chisca, Deepak Mehta, Barry O'Sullivan:
Trichotomic Search for Thermal-Aware Data Centre Workload Optimisation. UCC 2015: 528-533 - [c143]Dirk Pesch, Alan McGibney, Piotr Sobonski, Susan Rea, Thomas Scherer, Lydia Yiyu Chen, Ton Engbersen, Deepak Mehta, Barry O'Sullivan, Enric Pages, Jacinta Townley, Dhanaraja Kasinathan, J. Ignacio Torrens, Vojtech Zavrel, J. L. M. Hensen:
The GENiC Architecture for Integrated Data Centre Energy Management. UCC 2015: 540-546 - [i15]Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Bin Packing with Linear Usage Costs. CoRR abs/1509.06712 (2015) - [i14]Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis:
The Inductive Constraint Programming Loop. CoRR abs/1510.03317 (2015) - 2014
- [j33]David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré:
Computational protein design as an optimization problem. Artif. Intell. 212: 59-79 (2014) - [j32]Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis:
A Constraint-Based Dental School Timetabling System. AI Mag. 35(1): 53-63 (2014) - [j31]Michela Milano, Barry O'Sullivan, Marco Gavanelli:
Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence. AI Mag. 35(3): 22-35 (2014) - [j30]Marco Ruffini, Lena Wosinska, Mohand Achouche, Jiajia Chen, Nick J. Doran, Farsheed Farjady, Julio Montalvo-Garcia, Peter Ossieur, Barry O'Sullivan, Nick Parsons, Thomas Pfeiffer, 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. IEEE Commun. Mag. 52(2): 24-56 (2014) - [j29]Eugene C. Freuder, Barry O'Sullivan:
Grand challenges for constraint programming. Constraints An Int. J. 19(2): 150-162 (2014) - [j28]Diarmuid Grimes, Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis:
Analyzing the impact of electricity price forecasting on energy cost-aware scheduling. Sustain. Comput. Informatics Syst. 4(4): 276-291 (2014) - [j27]Michela Milano, Barry O'Sullivan, Martin Sachenbacher:
Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development. IEEE Trans. Computers 63(1): 88-89 (2014) - [c142]Tadhg Fitzgerald, Barry O'Sullivan, Yuri Malitsky, Kevin Tierney:
Online Search Algorithm Configuration. AAAI 2014: 3104-3105 - [c141]Milan De Cauwer, Deepak Mehta, Barry O'Sullivan, Helmut Simonis, Hadrien Cambazard:
Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon. CCGRID 2014: 558-561 - [c140]Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan:
Proteus: A Hierarchical Portfolio of Solvers and Transformations. CPAIOR 2014: 301-317 - [c139]Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva:
A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. CPAIOR 2014: 368-376 - [c138]Gilles Simonin, Barry O'Sullivan:
Optimisation for the Ride-Sharing Problem: a Complexity-based Approach. ECAI 2014: 831-836 - [c137]David Lesaint, Deepak Mehta, Barry O'Sullivan, Vincent Vigneron:
A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database. ECAI 2014: 1057-1058 - [c136]Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva:
Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. ECAI 2014: 1065-1066 - [c135]Andrea Di Giglio, Marco Schiano, Marco Ruffini, David B. Payne, Nick J. Doran, Mohand Achouche, R. Jensen, Barry O'Sullivan, Thomas Pfeiffer, 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. EuCNC 2014: 1-5 - [c134]Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada:
Constraint-Based Local Search for the Distance- and Capacity-Bounded Network Design Problem. ICTAI 2014: 178-185 - [c133]David Lesaint, Deepak Mehta, Barry O'Sullivan, Vincent Vigneron:
A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database. ICTAI 2014: 544-551 - [c132]Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Helmut Simonis:
Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation. ICTAI 2014: 560-567 - [c131]Laura Climent, Richard J. Wallace, Barry O'Sullivan, Eugene C. Freuder:
Extrapolating from Limited Uncertain Information to Obtain Robust Solutions for Large-Scale Optimization Problems. ICTAI 2014: 898-905 - [c130]Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle:
A scalable optimisation approach to minimising IP protection capacity for Long-Reach PON. ONDM 2014: 31-36 - [c129]Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan, Kevin Tierney:
ReACT: Real-Time Algorithm Configuration through Tournaments. SOCS 2014: 62-70 - [c128]Yuri Malitsky, Barry O'Sullivan:
Latent Features for Algorithm Selection. SOCS 2014: 123-130 - [c127]Jesús Omana Iglesias, Liam Murphy, Milan De Cauwer, Deepak Mehta, Barry O'Sullivan:
A Methodology for Online Consolidation of Tasks through More Accurate Resource Estimations. UCC 2014: 89-98 - [e4]Barry O'Sullivan:
Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings. Lecture Notes in Computer Science 8656, Springer 2014, ISBN 978-3-319-10427-0 [contents] - [e3]Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan:
ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014). Frontiers in Artificial Intelligence and Applications 263, IOS Press 2014, ISBN 978-1-61499-418-3 [contents] - [i13]Barry Hurley, Serdar Kadioglu, Yuri Malitsky, Barry O'Sullivan:
Transformation-based Feature Computation for Algorithm Portfolios. CoRR abs/1401.2474 (2014) - [i12]David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Developing Approaches for Solving a Telecommunications Feature Subscription Problem. CoRR abs/1401.3842 (2014) - [i11]Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon:
Soft Constraints of Difference and Equality. CoRR abs/1401.3879 (2014) - [i10]Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, Michèle Sebag:
Constraints, Optimization and Data (Dagstuhl Seminar 14411). Dagstuhl Reports 4(10): 1-31 (2014) - 2013
- [j26]Vikas Agrawal, Christopher Archibald, Mehul Bhatt, Hung Bui, 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, Lokendra Shastri, Amarda Shehu, Gita Sukthankar:
The AAAI-13 Conference Workshops. AI Mag. 34(4): 9- (2013) - [j25]Dániel Marx, Barry O'Sullivan, Igor Razgon:
Finding small separators in linear time via treewidth reduction. ACM Trans. Algorithms 9(4): 30:1-30:35 (2013) - [c126]Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres. CP 2013: 47-62 - [c125]Simon de Givry, Steven D. Prestwich, Barry O'Sullivan:
Dead-End Elimination for Weighted CSP. CP 2013: 263-272 - [c124]Yuri Malitsky, Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem. CPAIOR 2013: 176-192 - [c123]Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres. GECON 2013: 44-59 - [c122]Milan De Cauwer, Barry O'Sullivan:
A Study of Electricity Price Features on Distributed Internet Data Centers. GECON 2013: 60-73 - [c121]Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis:
The Deployment of a Constraint-Based Dental School Timetabling System. IAAI 2013: 1459-1464 - [c120]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. ICTAI 2013: 330-336 - [c119]Deepak Mehta, Barry O'Sullivan, Lars Kotthoff, Yuri Malitsky:
Lazy Branching for Constraint Satisfaction. ICTAI 2013: 1012-1019 - [c118]Luis Quesada, 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. ICTAI 2013: 1052-1059 - [c117]Barry Hurley, Barry O'Sullivan:
Problem Transformations and Algorithm Selection for CSPs. IJCAI 2013: 3221-3222 - [c116]Marco Collautti, Yuri Malitsky, Deepak Mehta, Barry O'Sullivan:
SNNAP: Solver-Based Nearest Neighbor for Algorithm Portfolios. ECML/PKDD (3) 2013: 435-450 - [c115]Yuri Malitsky, Deepak Mehta, Barry O'Sullivan:
Evolving Instance Specific Algorithm Configuration. SOCS 2013: 133-140 - [c114]Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices. UCC 2013: 26-33 - [i9]Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan:
Proteus: A Hierarchical Portfolio of Solvers and Transformations. CoRR abs/1306.5606 (2013) - 2012
- [j24]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, Sanem Sariel Talay, Ted Selker, Lokendra Shastri, Stephen F. Smith, Satinder Singh, Siddharth Srivastava, Gita Sukthankar, David C. Uthus, Mary-Anne Williams:
Reports of the AAAI 2011 Conference Workshops. AI Mag. 33(1): 57-70 (2012) - [j23]Hadrien Cambazard, Emmanuel Hebrard, Barry O'Sullivan, Alexandre Papadopoulos:
Local search and constraint programming for the post enrolment-based course timetabling problem. Ann. Oper. Res. 194(1): 111-135 (2012) - [j22]Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan:
A shortest path-based approach to the multileaf collimator sequencing problem. Discret. Appl. Math. 160(1-2): 81-99 (2012) - [j21]Marco Ruffini, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Linda Doyle, David B. Payne:
Deployment Strategies for Protected Long-Reach PON. JOCN 4(2): 118-129 (2012) - [c113]Barry O'Sullivan:
Opportunities and Challenges for Constraint Programming. AAAI 2012: 2148-2152 - [c112]Barry O'Sullivan:
Where Are the Interesting Problems? CP 2012: 4-5 - [c111]Ignacio Castiñeiras, Milan De Cauwer, Barry O'Sullivan:
Weibull-Based Benchmarks for Bin Packing. CP 2012: 207-222 - [c110]Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Comparing Solution Methods for the Machine Reassignment Problem. CP 2012: 782-797 - [c109]Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis:
Properties of Energy-Price Forecasts for Scheduling. CP 2012: 957-972 - [c108]Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada:
A Computational Geometry-Based Local Search Algorithm for Planar Location Problems. CPAIOR 2012: 97-112 - [c107]William M. Fitzgerald, Fatih Turkmen, Simon N. Foley, Barry O'Sullivan:
Anomaly analysis for Physical Access Control security configuration. CRiSIS 2012: 1-8 - [c106]Marco Gavanelli, Michela Milano, Alan Holland, Barry O'Sullivan:
What-If Analysis Through Simulation-Optimization Hybrids. ECMS 2012: 624-630 - [c105]Barry Hurley, Barry O'Sullivan:
Adaptation in a CBR-Based Solver Portfolio for the Satisfiability Problem. ICCBR 2012: 152-166 - [c104]Alexandre Papadopoulos, Barry O'Sullivan:
Compiling Domain Consequences. ICTAI 2012: 618-625 - [c103]Marco Ruffini, Linda Doyle, David B. Payne, Deepak Mehta, Barry O'Sullivan, Luis Quesada:
Deployment case studies of an energy efficient protected LR-PON architecture. ONDM 2012: 1-6 - [p2]Derek Bridge, Eoin O'Mahony, Barry O'Sullivan:
Case-Based Reasoning for Autonomous Constraint Solving. Autonomous Search 2012: 73-95 - 2011
- [j20]Raphael A. Finkel, Barry O'Sullivan:
Reasoning about conditional constraint specification problems and feature models. Artif. Intell. Eng. Des. Anal. Manuf. 25(2): 163-174 (2011) - [j19]Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan:
Domino portrait generation: a fast and scalable approach. Ann. Oper. Res. 184(1): 79-95 (2011) - [j18]Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon:
Soft Constraints of Difference and Equality. J. Artif. Intell. Res. 41: 97-130 (2011) - [c102]Deepak Mehta, Barry O'Sullivan, Luis Quesada:
Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering. CP 2011: 606-620 - [c101]Helmut Simonis, Barry O'Sullivan:
Almost Square Packing. CPAIOR 2011: 196-209 - [c100]Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle:
Designing Resilient Long-Reach Passive Optical Networks. IAAI 2011: 1674-1680 - [c99]Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle:
A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks. ICTAI 2011: 785-792 - [c98]Barry O'Sullivan:
An Introduction to Constraint Programming and Combinatorial Optimisation. Reasoning Web 2011: 534 - [c97]Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan:
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. SAC 2011: 901-906 - [e2]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. Lecture Notes in Computer Science 6384, Springer 2011, ISBN 978-3-642-19485-6 [contents] - [i8]Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle:
A Combinatorial Optimisation Approach to Designing Dual-Parented Long-Reach Passive Optical Networks. CoRR abs/1109.1231 (2011) - [i7]Dániel Marx, Barry O'Sullivan, Igor Razgon:
Finding small separators in linear time via treewidth reduction. CoRR abs/1110.4765 (2011) - [i6]Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, Pascal Van Hentenryck:
Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201). Dagstuhl Reports 1(5): 61-83 (2011) - 2010
- [j17]Hadrien Cambazard, Barry O'Sullivan:
Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation". Constraints An Int. J. 15(1): 145-147 (2010) - [j16]David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Developing Approaches for Solving a Telecommunications Feature Subscription Problem. J. Artif. Intell. Res. 38: 271-305 (2010) - [j15]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini:
Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria. Secur. Commun. Networks 3(6): 595-610 (2010) - [c96]Barry O'Sullivan:
Automated Modelling and Solving in Constraint Programming. AAAI 2010: 1493-1497 - [c95]Hadrien Cambazard, Barry O'Sullivan:
Propagating the Bin Packing Constraint Using Linear Programming. CP 2010: 129-136 - [c94]David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Context-Sensitive Call Control Using Constraints and Rules. CP 2010: 583-597 - [c93]Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan:
Hybrid Methods for the Multileaf Collimator Sequencing Problem. CPAIOR 2010: 56-70 - [c92]Emmanuel Hebrard, Eoin O'Mahony, Barry O'Sullivan:
Constraint Programming and Combinatorial Optimisation in Numberjack. CPAIOR 2010: 181-185 - [c91]Barry O'Sullivan, Steven Keady, Enda Keane, Sandra Irwin, John O'Halloran:
Data Mining for Biodiversity Prediction in Forests. ECAI 2010: 289-294 - [c90]David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Improving the Global Constraint SoftPrec. ECAI 2010: 1061-1062 - [c89]Hadrien Cambazard, Tarik Hadzic, Barry O'Sullivan:
Knowledge Compilation for Itemset Mining. ECAI 2010: 1109-1110 - [c88]Deepak Mehta, Barry O'Sullivan, Luis Quesada:
Preferred Explanations for Quantified Constraint Satisfaction Problems. ICTAI (1) 2010: 275-278 - [c87]Dániel Marx, Barry O'Sullivan, Igor Razgon:
Treewidth Reduction for Constrained Separation and Bipartization Problems. STACS 2010: 561-572 - [c86]Simon N. Foley, Wayne Mac Adams, Barry O'Sullivan:
Aggregating Trust Using Triangular Norms in the KeyNote Trust Management System. STM 2010: 100-115
2000 – 2009
- 2009
- [j14]Hadrien Cambazard, Barry O'Sullivan, Barbara M. Smith:
A constraint-based approach to Enigma 1225. Comput. Math. Appl. 58(8): 1487-1497 (2009) - [j13]Igor Razgon, Barry O'Sullivan:
Almost 2-SAT is fixed-parameter tractable. J. Comput. Syst. Sci. 75(8): 435-450 (2009) - [c85]Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan:
Minimising Decision Tree Size as Combinatorial Optimisation. CP 2009: 173-187 - [c84]Tarik Hadzic, Alan Holland, Barry O'Sullivan:
Reasoning about Optimal Collections of Solutions. CP 2009: 409-423 - [c83]Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon:
Constraints of Difference and Equality: A Complete Taxonomic Characterisation. CP 2009: 424-438 - [c82]Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Search Space Extraction. CP 2009: 608-622 - [c81]Alexandre Papadopoulos, Barry O'Sullivan:
Compiling All Possible Conflicts of a CSP. CP 2009: 639-653 - [c80]Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan:
A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem. CPAIOR 2009: 41-55 - [c79]Dara Curran, Barry O'Sullivan:
An Analysis of Lamarckian Learning in Changing Environments. ECAL (2) 2009: 142-149 - [c78]John Horan, Barry O'Sullivan:
Towards Diverse Relaxations of Over-Constrained Models. ICTAI 2009: 198-205 - [c77]Raphael A. Finkel, Barry O'Sullivan:
Reasoning about Conditional Constraint Specifications. ICTAI 2009: 349-353 - [c76]David Devlin, Barry O'Sullivan:
Preferential Attachment in Constraint Networks. ICTAI 2009: 708-715 - [c75]Tarik Hadzic, Eoin O'Mahony, Barry O'Sullivan, Meinolf Sellmann:
Enhanced Inference for the Market Split Problem. ICTAI 2009: 716-723 - [c74]Tarik Hadzic, Barry O'Sullivan:
Functional Dependencies in MDD-Compiled Product Catalogues. ITWP 2009 - [c73]David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
A Soft Global Precedence Constraint. IJCAI 2009: 566-571 - [c72]Tarik Hadzic, Barry O'Sullivan:
Uncovering functional dependencies in MDD-compiled product catalogues. RecSys 2009: 377-380 - [i5]Dániel Marx, Barry O'Sullivan, Igor Razgon:
Treewidth reduction for constrained separation and bipartization problems. CoRR abs/0902.3780 (2009) - [i4]Jerome Kelleher, Barry O'Sullivan:
Generating All Partitions: A Comparison Of Two Encodings. CoRR abs/0909.2331 (2009) - 2008
- [j12]Hadrien Cambazard, Barry O'Sullivan:
Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation. Constraints An Int. J. 13(3): 385-406 (2008) - [j11]Xuan-Ha Vu, Barry O'Sullivan:
A Unifying Framework for Generalized Constraint Acquisition. Int. J. Artif. Intell. Tools 17(5): 803-833 (2008) - [j10]Jianer Chen, Yang Liu, Songjian Lu, Barry O'Sullivan, Igor Razgon:
A fixed-parameter algorithm for the directed feedback vertex set problem. J. ACM 55(5): 21:1-21:19 (2008) - [c71]David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Personalisation of Telecommunications Services as Combinatorial Optimisation. AAAI 2008: 1693-1698 - [c70]Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan:
A Hybrid Approach to Domino Portrait Generation. AAAI 2008: 1874-1875 - [c69]Helmut Simonis, Barry O'Sullivan:
Search Strategies for Rectangle Packing. CP 2008: 52-66 - [c68]David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Solving a Telecommunications Feature Subscription Configuration Problem. CP 2008: 67-81 - [c67]Emmanuel Hebrard, Barry O'Sullivan, Igor Razgon:
A Soft Constraint of Equality: Complexity and Approximability. CP 2008: 358-371 - [c66]Hadrien Cambazard, Barry O'Sullivan:
Reformulating Positive Table Constraints Using Functional Dependencies. CP 2008: 418-432 - [c65]Alexandre Papadopoulos, Barry O'Sullivan:
Relaxations for Compiled Over-Constrained Problems. CP 2008: 433-447 - [c64]Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann:
Approximate Compilation of Constraints into Multivalued Decision Diagrams. CP 2008: 448-462 - [c63]Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan:
Fast and Scalable Domino Portrait Generation. CPAIOR 2008: 51-65 - [c62]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini:
From Marriages to Coalitions: A Soft CSP Approach. CSCLP 2008: 1-15 - [c61]Tarik Hadzic, David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
A BDD Approach to the Feature Subscription Problem. ECAI 2008: 698-702 - [c60]Igor Razgon, Barry O'Sullivan:
Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract). ICALP (1) 2008: 551-562 - [c59]Tarik Hadzic, Esben Rune Hansen, Barry O'Sullivan:
Layer Compression in Decision Diagrams. ICTAI (1) 2008: 19-26 - [c58]David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription. ICTAI (1) 2008: 283-290 - [c57]Tarik Hadzic, Barry O'Sullivan:
Critique graphs for catalogue navigation. RecSys 2008: 115-122 - [c56]Jianer Chen, Yang Liu, Songjian Lu, Barry O'Sullivan, Igor Razgon:
A fixed-parameter algorithm for the directed feedback vertex set problem. STOC 2008: 177-186 - [i3]Igor Razgon, Barry O'Sullivan:
Almost 2-SAT is Fixed-Parameter Tractable. CoRR abs/0801.1300 (2008) - 2007
- [j9]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, Rudi Studer, Yimin Wang, Michael P. Wellman:
AAAI-07 Workshop Reports. AI Mag. 28(4): 119-128 (2007) - [j8]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. IEEE Intell. Syst. 22(1): 78-90 (2007) - [c55]Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, Pearl Pu:
Representative Explanations for Over-Constrained Problems. AAAI 2007: 323-328 - [c54]Barry O'Sullivan, John Horan:
Generating and Solving Logic Puzzles through Constraint Satisfaction. AAAI 2007: 1974-1975 - [c53]Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan:
Constraint Symmetry for the Soft CSP. CP 2007: 872-879 - [c52]Igor Razgon, Barry O'Sullivan, Gregory M. Provan:
Generalizing Global Constraints Based on Network Flows. CSCLP 2007: 127-141 - [c51]Margarita Razgon, Barry O'Sullivan, Gregory M. Provan:
Search Ordering Heuristics for Restarts-Based Constraint Solving. FLAIRS 2007: 182-183 - [c50]Xuan-Ha Vu, Barry O'Sullivan:
Semiring-Based Constraint Acquisition. ICTAI (1) 2007: 251-258 - [c49]Christian Bessiere, Remi Coletta, Barry O'Sullivan, Mathias Paulin:
Query-Driven Constraint Acquisition. IJCAI 2007: 50-55 - [c48]Alex Ferguson, Barry O'Sullivan:
Quantified Constraint Satisfaction Problems: From Relaxations to Explanations. IJCAI 2007: 74-79 - [c47]Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh:
Distance Constraints in Constraint Satisfaction. IJCAI 2007: 106-111 - [c46]Alan Holland, Barry O'Sullivan:
Truthful Risk-Managed Combinatorial Auctions. IJCAI 2007: 1315-1320 - [c45]Hadrien Cambazard, Barry O'Sullivan:
A Reformulation-Based Approach to Explanation in Constraint Satisfaction. SARA 2007: 395-396 - [c44]Xuan-Ha Vu, Barry O'Sullivan:
Generalized Constraint Acquisition. SARA 2007: 411-412 - [i2]Igor Razgon, Barry O'Sullivan:
Directed Feedback Vertex Set is Fixed-Parameter Tractable. Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs 2007 - [i1]Igor Razgon, Barry O'Sullivan:
Directed Feedback Vertex Set is Fixed-Parameter Tractable. CoRR abs/0707.0282 (2007) - 2006
- [j7]Barry O'Sullivan:
Special Issue: Constraints and design. Artif. Intell. Eng. Des. Anal. Manuf. 20(4): 295 (2006) - [j6]Barry O'Sullivan, Peter van Beek:
Introduction to the Special Issue on Principles and Practice of Constraint Programming (CP 2005). Constraints An Int. J. 11(2-3): 83-84 (2006) - [j5]Tudor Hulubei, Barry O'Sullivan:
The Impact of Search Heuristics on Heavy-Tailed Behaviour. Constraints An Int. J. 11(2-3): 159-178 (2006) - [c43]Barry O'Sullivan, Gregory M. Provan:
Approximate Compilation for Embedded Model-based Reasoning. AAAI 2006: 894-899 - [c42]Christian Bessiere, Remi Coletta, Frédéric Koriche, Barry O'Sullivan:
Acquiring Constraint Networks Using a SAT-based Version Space Algorithm. AAAI 2006: 1565-1568 - [c41]Alex Ferguson, Barry O'Sullivan:
Relaxations and Explanations for Quantified Constraint Satisfaction Problems. CP 2006: 690-694 - [c40]Tudor Hulubei, Barry O'Sullivan:
Failure Analysis in Backtrack Search for Constraint Satisfaction. CP 2006: 731-735 - [c39]Tudor Hulubei, Barry O'Sullivan:
Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations. CP 2006: 736-740 - [c38]Igor Razgon, Barry O'Sullivan:
Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems. CSCLP 2006: 154-168 - [c37]Radoslaw Szymanek, Barry O'Sullivan:
Guiding Search Using Constraint-Level Advice. ECAI 2006: 158-162 - [c36]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. IPOM 2006: 168-180 - [c35]Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan:
Special track editorial: constraint solving and programming. SAC 2006: 392-393 - [p1]Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart:
Multilevel Security and Quality of Protection. Quality of Protection 2006: 93-105 - 2005
- [j4]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan:
A soft constraint-based approach to the cascade vulnerability problem. J. Comput. Secur. 13(5): 699-720 (2005) - [c34]Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh:
Finding Diverse and Similar Solutions in Constraint Programming. AAAI 2005: 372-377 - [c33]Alan Holland, Barry O'Sullivan:
Weighted Super Solutions for Constraint Programs. AAAI 2005: 378-383 - [c32]Peter Blackburn, Barry O'Sullivan:
Building Reactive Characters for Dynamic Gaming Environments. CIG 2005 - [c31]Tudor Hulubei, Barry O'Sullivan:
Search Heuristics and Heavy-Tailed Behaviour. CP 2005: 328-342 - [c30]Barry O'Callaghan, Barry O'Sullivan, Eugene C. Freuder:
Generating Corrective Explanations for Interactive Constraint Satisfaction. CP 2005: 445-459 - [c29]Christian Bessiere, Remi Coletta, Frédéric Koriche, Barry O'Sullivan:
A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems. ECML 2005: 23-34 - [c28]Tudor Hulubei, Barry O'Sullivan:
Optimal Refutations for Constraint Satisfaction Problems. IJCAI 2005: 163-168 - [c27]Barry O'Sullivan, Barry O'Callaghan, Eugene C. Freuder:
Corrective Explanation for Interactive Constraint Satisfaction. IJCAI 2005: 1531-1532 - [c26]Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan:
Editorial: special track on constraint solving and programming. SAC 2005: 364-365 - [c25]Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder:
Timid acquisition of constraint satisfaction problems. SAC 2005: 404-408 - [c24]Alan Holland, Barry O'Sullivan:
Robust solutions for combinatorial auctions. EC 2005: 183-192 - 2004
- [j3]Alan Holland, Barry O'Sullivan:
Towards Fast Vickrey Pricing using Constraint Programming. Artif. Intell. Rev. 21(3-4): 335-352 (2004) - [j2]Barry O'Sullivan:
Introduction to the Special Issue on User-Interaction in Constraint Satisfaction. Constraints An Int. J. 9(4): 239-240 (2004) - [c23]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan:
Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints. AAAI 2004: 808-813 - [c22]Christian Bessiere, Remi Coletta, Eugene C. Freuder, Barry O'Sullivan:
Leveraging the Learning Power of Examples in Automated Constraint Acquisition. CP 2004: 123-137 - [c21]Alan Holland, Barry O'Sullivan:
Super Solutions for Combinatorial Auctions. CSCLP 2004: 187-200 - [c20]Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan:
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. ICTAI 2004: 240-245 - [c19]Barry O'Sullivan, Alex Ferguson, Eugene C. Freuder:
Boosting Constraint Satisfaction Using Decision Trees. ICTAI 2004: 646-651 - [c18]Alan Holland, Barry O'Callaghan, Barry O'Sullivan:
Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor. IEA/AIE 2004: 905-914 - [c17]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan:
Reasoning about Secure Interoperation Using Soft Constraints. Formal Aspects in Security and Trust 2004: 173-186 - [c16]Jerome Kelleher, Barry O'Sullivan:
Evaluation-Based Semiring Meta-constraints. MICAI 2004: 179-189 - [c15]Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan:
Modeling and detecting the cascade vulnerability problem using soft constraints. SAC 2004: 383-390 - 2003
- [c14]Alan Holland, Barry O'Callaghan, Barry O'Sullivan:
A Constraint-Aided Conceptual Design Environment for Autodesk Inventor. CP 2003: 422-436 - [c13]Remi Coletta, Christian Bessière, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Joël Quinqueton:
Semi-automatic Modeling by Constraint Acquisition. CP 2003: 812-816 - [c12]Moyra Duggan, Barry O'Sullivan, Eugene C. Freuder:
Interactive Tradeoff Generation. CP 2003: 970 - [c11]Alan Holland, Barry O'Sullivan:
Algorithmic Mechanism Design and Constraints. CP 2003: 976 - [c10]Jerome Kelleher, Barry O'Sullivan:
Optimising the Representation and Evaluation of Semiring Combination Constraints. CP 2003: 978 - [c9]Barry O'Callaghan, Eugene C. Freuder, Barry O'Sullivan:
Useful Explanations. CP 2003: 988 - [c8]Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder:
Teacher and Learner Profiles for Constraint Acquisition. CP 2003: 989 - [c7]Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan:
Tradeoff Generation Using Soft Constraints. CSCLP 2003: 124-139 - [c6]Lisa Purvis, Steven Harrington, Barry O'Sullivan, Eugene C. Freuder:
Creating personalized documents: an optimization approach. ACM Symposium on Document Engineering 2003: 68-77 - [c5]Stefano Bistarelli, Barry O'Sullivan:
A Theoretical Framework for Tradeoff Generation using Soft Constraints. SGAI Conf. 2003: 69-82 - [c4]Remi Coletta, Christian Bessiere, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Joël Quinqueton:
Constraint Acquisition as Semi-Automatic Modeling. SGAI Conf. 2003: 111-124 - [c3]Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan:
Symmetry Breaking in Soft CSPs. SGAI Conf. 2003: 199-212 - [e1]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. Lecture Notes in Computer Science 2627, Springer 2003, ISBN 3-540-00986-8 [contents] - 2002
- [b1]Barry O'Sullivan:
Constraint-Aided Conceptual Design. Engineering research series, Wiley 2002, ISBN 978-1-86058-335-3, pp. I-XIV, 1-199 - [j1]Barry O'Sullivan:
Interactive constraint-aided conceptual design. Artif. Intell. Eng. Des. Anal. Manuf. 16(4): 303-328 (2002) - 2001
- [c2]Eugene C. Freuder, Barry O'Sullivan:
Generating Tradeoffs for Interactive Constraint-Based Configuration. CP 2001: 590-594
1990 – 1999
- 1998
- [c1]Barry O'Sullivan, James Bowen:
A Constraint-Based Approach to Supporting Conceptual Design. AID 1998: 291-308
Coauthor Index
Christian Bessiere
aka: Christian Bessière
aka: Christian Bessière
[j51] [j43] [p9] [c185] [c180] [j36] [c172] [c164] [c163] [p7] [i16] [c161] [c160] [c158] [c157] [c155] [c154] [c153] [c152] [c151] [c147] [c146] [c144] [c143] [i15] [c141] [c137] [c134] [c133] [c132] [c130] [c127] [i12] [c126] [c124] [c123] [c119] [c116] [c115] [c114] [j21] [c110] [c108] [c103] [c102] [c100] [c99] [i8] [j16] [c94] [c90] [c88] [c82] [c73] [c71] [c68] [c61] [c58]
Cemalettin Ozturk
aka: Cemalletin Ozturk
aka: Cemalletin Ozturk
Steven D. Prestwich
aka: Steven David Prestwich
aka: Steven David Prestwich
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
