dblp.uni-trier.dewww.uni-trier.de

Barry O'Sullivan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
92EEChristian Bessiere, Emmanuel Hebrard, Barry O'Sullivan: Minimising Decision Tree Size as Combinatorial Optimisation. CP 2009: 173-187
91EETarik Hadzic, Alan Holland, Barry O'Sullivan: Reasoning about Optimal Collections of Solutions. CP 2009: 409-423
90EEEmmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon: Constraints of Difference and Equality: A Complete Taxonomic Characterisation. CP 2009: 424-438
89EEDeepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson: Search Space Extraction. CP 2009: 608-622
88EEAlexandre Papadopoulos, Barry O'Sullivan: Compiling All Possible Conflicts of a CSP. CP 2009: 639-653
87EEHadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan: A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem. CPAIOR 2009: 41-55
86EEDavid Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson: A Soft Global Precedence Constraint. IJCAI 2009: 566-571
85EETarik Hadzic, Barry O'Sullivan: Uncovering functional dependencies in MDD-compiled product catalogues. RecSys 2009: 377-380
84EEDániel Marx, Barry O'Sullivan, Igor Razgon: Treewidth reduction for constrained separation and bipartization problems CoRR abs/0902.3780: (2009)
83EEJerome Kelleher, Barry O'Sullivan: Generating All Partitions: A Comparison Of Two Encodings CoRR abs/0909.2331: (2009)
2008
82 David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson: Personalisation of Telecommunications Services as Combinatorial Optimisation. AAAI 2008: 1693-1698
81 Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan: A Hybrid Approach to Domino Portrait Generation. AAAI 2008: 1874-1875
80EEEmmanuel Hebrard, Barry O'Sullivan, Igor Razgon: A Soft Constraint of Equality: Complexity and Approximability. CP 2008: 358-371
79EEHadrien Cambazard, Barry O'Sullivan: Reformulating Positive Table Constraints Using Functional Dependencies. CP 2008: 418-432
78EEAlexandre Papadopoulos, Barry O'Sullivan: Relaxations for Compiled Over-Constrained Problems. CP 2008: 433-447
77EETarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann: Approximate Compilation of Constraints into Multivalued Decision Diagrams. CP 2008: 448-462
76EEHelmut Simonis, Barry O'Sullivan: Search Strategies for Rectangle Packing. CP 2008: 52-66
75EEDavid Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson: Solving a Telecommunications Feature Subscription Configuration Problem. CP 2008: 67-81
74EEHadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan: Fast and Scalable Domino Portrait Generation. CPAIOR 2008: 51-65
73EEStefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini: From Marriages to Coalitions: A Soft CSP Approach. CSCLP 2008: 1-15
72EETarik Hadzic, David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson: A BDD Approach to the Feature Subscription Problem. ECAI 2008: 698-702
71EEIgor Razgon, Barry O'Sullivan: Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract). ICALP (1) 2008: 551-562
70EETarik Hadzic, Esben Rune Hansen, Barry O'Sullivan: Layer Compression in Decision Diagrams. ICTAI (1) 2008: 19-26
69EEDavid 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
68EETarik Hadzic, Barry O'Sullivan: Critique graphs for catalogue navigation. RecSys 2008: 115-122
67EEJianer 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
66EEIgor Razgon, Barry O'Sullivan: Almost 2-SAT is Fixed-Parameter Tractable CoRR abs/0801.1300: (2008)
65EEHadrien Cambazard, Barry O'Sullivan: Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation. Constraints 13(3): 385-406 (2008)
64EEXuan-Ha Vu, Barry O'Sullivan: A Unifying Framework for Generalized Constraint Acquisition. International Journal on Artificial Intelligence Tools 17(5): 803-833 (2008)
63EEJianer 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): (2008)
2007
62 Barry O'Sullivan, John Horan: Generating and Solving Logic Puzzles through Constraint Satisfaction. AAAI 2007: 1974-1975
61 Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, Pearl Pu: Representative Explanations for Over-Constrained Problems. AAAI 2007: 323-328
60EEBarbara M. Smith, Stefano Bistarelli, Barry O'Sullivan: Constraint Symmetry for the Soft CSP. CP 2007: 872-879
59EEIgor Razgon, Barry O'Sullivan, Gregory M. Provan: Generalizing Global Constraints Based on Network Flows. CSCLP 2007: 127-141
58 Margarita Razgon, Barry O'Sullivan, Gregory M. Provan: Search Ordering Heuristics for Restarts-Based Constraint Solving. FLAIRS Conference 2007: 182-183
57EEXuan-Ha Vu, Barry O'Sullivan: Semiring-Based Constraint Acquisition. ICTAI (1) 2007: 251-258
56EEEmmanuel Hebrard, Barry O'Sullivan, Toby Walsh: Distance Constraints in Constraint Satisfaction. IJCAI 2007: 106-111
55EEAlan Holland, Barry O'Sullivan: Truthful Risk-Managed Combinatorial Auctions. IJCAI 2007: 1315-1320
54EEChristian Bessière, Remi Coletta, Barry O'Sullivan, Mathias Paulin: Query-Driven Constraint Acquisition. IJCAI 2007: 50-55
53EEAlex Ferguson, Barry O'Sullivan: Quantified Constraint Satisfaction Problems: From Relaxations to Explanations. IJCAI 2007: 74-79
52EEHadrien Cambazard, Barry O'Sullivan: A Reformulation-Based Approach to Explanation in Constraint Satisfaction. SARA 2007: 395-396
51EEXuan-Ha Vu, Barry O'Sullivan: Generalized Constraint Acquisition. SARA 2007: 411-412
50EEIgor Razgon, Barry O'Sullivan: Directed Feedback Vertex Set is Fixed-Parameter Tractable. Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs 2007
49EEIgor Razgon, Barry O'Sullivan: Directed Feedback Vertex Set is Fixed-Parameter Tractable CoRR abs/0707.0282: (2007)
48EECarsten Sinz, Albert Haag, Nina Narodytska, Toby Walsh, Esther Gelle, Mihaela Sabin, Ulrich Junker, Barry O'Sullivan, Rick Rabiser, Deepak Dhungana, Paul Grünbacher, Klaus Lehner, Christian Federspiel, Daniel Naus: Configuration. IEEE Intelligent Systems 22(1): 78-90 (2007)
2006
47 Christian Bessière, Remi Coletta, Frédéric Koriche, Barry O'Sullivan: Acquiring Constraint Networks Using a SAT-based Version Space Algorithm. AAAI 2006
46 Barry O'Sullivan, Gregory M. Provan: Approximate Compilation for Embedded Model-based Reasoning. AAAI 2006
45EEAlex Ferguson, Barry O'Sullivan: Relaxations and Explanations for Quantified Constraint Satisfaction Problems. CP 2006: 690-694
44EETudor Hulubei, Barry O'Sullivan: Failure Analysis in Backtrack Search for Constraint Satisfaction. CP 2006: 731-735
43EETudor Hulubei, Barry O'Sullivan: Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations. CP 2006: 736-740
42EEIgor Razgon, Barry O'Sullivan: Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems. CSCLP 2006: 154-168
41 Radoslaw Szymanek, Barry O'Sullivan: Guiding Search Using Constraint-Level Advice. ECAI 2006: 158-162
40EESimon 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
39EEStefano Bistarelli, Eric Monfroy, Barry O'Sullivan: Special track editorial: constraint solving and programming. SAC 2006: 392-393
38EEBarry O'Sullivan: Special Issue: Constraints and design. AI EDAM 20(4): 295 (2006)
37EETudor Hulubei, Barry O'Sullivan: The Impact of Search Heuristics on Heavy-Tailed Behaviour. Constraints 11(2-3): 159-178 (2006)
36EEBarry O'Sullivan, Peter van Beek: Introduction to the Special Issue on Principles and Practice of Constraint Programming (CP 2005). Constraints 11(2-3): 83-84 (2006)
2005
35 Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh: Finding Diverse and Similar Solutions in Constraint Programming. AAAI 2005: 372-377
34 Alan Holland, Barry O'Sullivan: Weighted Super Solutions for Constraint Programs. AAAI 2005: 378-383
33EEAlan Holland, Barry O'Sullivan: Robust solutions for combinatorial auctions. ACM Conference on Electronic Commerce 2005: 183-192
32EEPeter Blackburn, Barry O'Sullivan: Building Reactive Characters for Dynamic Gaming Environments. CIG 2005
31EETudor Hulubei, Barry O'Sullivan: Search Heuristics and Heavy-Tailed Behaviour. CP 2005: 328-342
30EEBarry O'Callaghan, Barry O'Sullivan, Eugene C. Freuder: Generating Corrective Explanations for Interactive Constraint Satisfaction. CP 2005: 445-459
29EEChristian Bessière, Remi Coletta, Frédéric Koriche, Barry O'Sullivan: A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems. ECML 2005: 23-34
28EEBarry O'Sullivan, Barry O'Callaghan, Eugene C. Freuder: Corrective Explanation for Interactive Constraint Satisfaction. IJCAI 2005: 1531-1532
27EETudor Hulubei, Barry O'Sullivan: Optimal Refutations for Constraint Satisfaction Problems. IJCAI 2005: 163-168
26EEStefano Bistarelli, Eric Monfroy, Barry O'Sullivan: Editorial: special track on constraint solving and programming. SAC 2005: 364-365
25EESarah O'Connell, Barry O'Sullivan, Eugene C. Freuder: Timid acquisition of constraint satisfaction problems. SAC 2005: 404-408
24EEStefano Bistarelli, Simon N. Foley, Barry O'Sullivan: A soft constraint-based approach to the cascade vulnerability problem. Journal of Computer Security 13(5): 699-720 (2005)
2004
23 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
22EEChristian Bessière, Remi Coletta, Eugene C. Freuder, Barry O'Sullivan: Leveraging the Learning Power of Examples in Automated Constraint Acquisition. CP 2004: 123-137
21EEAlan Holland, Barry O'Sullivan: Super Solutions for Combinatorial Auctions. CSCLP 2004: 187-200
20EEStefano Bistarelli, Simon N. Foley, Barry O'Sullivan: Reasoning about Secure Interoperation Using Soft Constraints. Formal Aspects in Security and Trust 2004: 173-186
19EEStefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan: Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. ICTAI 2004: 240-245
18EEBarry O'Sullivan, Alex Ferguson, Eugene C. Freuder: Boosting Constraint Satisfaction Using Decision Trees. ICTAI 2004: 646-651
17EEAlan Holland, Barry O'Callaghan, Barry O'Sullivan: Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor. IEA/AIE 2004: 905-914
16EEJerome Kelleher, Barry O'Sullivan: Evaluation-Based Semiring Meta-constraints. MICAI 2004: 179-189
15EEStefano Bistarelli, Simon N. Foley, Barry O'Sullivan: Modeling and detecting the cascade vulnerability problem using soft constraints. SAC 2004: 383-390
14EEAlan Holland, Barry O'Sullivan: Towards Fast Vickrey Pricing using Constraint Programming. Artif. Intell. Rev. 21(3-4): 335-352 (2004)
13EEBarry O'Sullivan: Introduction to the Special Issue on User-Interaction in Constraint Satisfaction. Constraints 9(4): 239-240 (2004)
2003
12 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 Springer 2003
11EELisa Purvis, Steven Harrington, Barry O'Sullivan, Eugene C. Freuder: Creating personalized documents: an optimization approach. ACM Symposium on Document Engineering 2003: 68-77
10EEAlan Holland, Barry O'Callaghan, Barry O'Sullivan: A Constraint-Aided Conceptual Design Environment for Autodesk Inventor. CP 2003: 422-436
9EERemi 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
8EEMoyra Duggan, Barry O'Sullivan, Eugene C. Freuder: Interactive Tradeoff Generation. CP 2003: 970
7EEAlan Holland, Barry O'Sullivan: Algorithmic Mechanism Design and Constraints. CP 2003: 976
6EEJerome Kelleher, Barry O'Sullivan: Optimising the Representation and Evaluation of Semiring Combination Constraints. CP 2003: 978
5EEBarry O'Callaghan, Eugene C. Freuder, Barry O'Sullivan: Useful Explanations. CP 2003: 988
4EESarah O'Connell, Barry O'Sullivan, Eugene C. Freuder: Teacher and Learner Profiles for Constraint Acquisition. CP 2003: 989
3EEStefano Bistarelli, Jerome Kelleher, Barry O'Sullivan: Tradeoff Generation Using Soft Constraints. CSCLP 2003: 124-139
2002
2 Barry O'Sullivan: Interactive constraint-aided conceptual design. AI EDAM 16(4): 303-328 (2002)
2001
1EEEugene C. Freuder, Barry O'Sullivan: Generating Tradeoffs for Interactive Constraint-Based Configuration. CP 2001: 590-594

Coauthor Index

1Peter van Beek [36]
2Christian Bessiere (Christian Bessière) [9] [22] [29] [47] [54] [92]
3Stefano Bistarelli [3] [15] [19] [20] [23] [24] [26] [39] [40] [60] [73]
4Peter Blackburn [32]
5Hadrien Cambazard [52] [65] [74] [79] [81] [87]
6Jianer Chen [63] [67]
7Remi Coletta [9] [22] [29] [47] [54]
8Deepak Dhungana [48]
9Moyra Duggan [8]
10Boi Faltings [61]
11Christian Federspiel [48]
12Alex Ferguson (Alex B. Ferguson) [18] [45] [53]
13William M. Fitzgerald [40]
14Mícheál Ó Foghlú [40]
15Simon N. Foley [15] [20] [23] [24] [40] [73]
16Eugene C. Freuder [1] [4] [5] [8] [9] [11] [18] [19] [22] [25] [28] [30]
17Esther Gelle [48]
18Paul Grünbacher [48]
19Albert Haag [48]
20Tarik Hadzic [68] [70] [72] [77] [85] [91]
21Esben Rune Hansen [70]
22Steven Harrington [11]
23Emmanuel Hebrard [35] [56] [80] [90] [92]
24Brahim Hnich [35]
25Alan Holland [7] [10] [14] [17] [21] [33] [34] [55] [91]
26John N. Hooker [77]
27John Horan [62] [74] [81]
28Tudor Hulubei [27] [31] [37] [43] [44]
29Ulrich Junker [48]
30Jerome Kelleher [3] [6] [16] [83]
31Frédéric Koriche [29] [47]
32Klaus Lehner [48]
33David Lesaint [69] [72] [75] [82] [86]
34Yang Liu [63] [67]
35Songjian Lu [63] [67]
36Dániel Marx [84] [90]
37Deepak Mehta [69] [72] [75] [82] [86] [89]
38Eric Monfroy [26] [39]
39Nina Narodytska [48]
40Daniel Naus [48]
41Barry O'Callaghan [5] [10] [17] [28] [30]
42Sarah O'Connell [4] [9] [25]
43Eoin O'Mahony [74] [81] [87]
44Alexandre Papadopoulos [61] [78] [88]
45Mathias Paulin [54]
46Gregory M. Provan [46] [58] [59]
47Pearl Pu [61]
48Lisa Purvis [11]
49Luis Quesada [69] [72] [75] [82] [86] [89]
50Joël Quinqueton [9]
51Rick Rabiser [48]
52Igor Razgon [42] [49] [50] [59] [63] [66] [67] [71] [80] [84] [90]
53Margarita Razgon [58]
54Mihaela Sabin [48]
55Francesco Santini [73]
56Helmut Simonis [76]
57Carsten Sinz [48]
58Barbara M. Smith [60]
59Radoslaw Szymanek [41]
60Peter Tiedemann [77]
61Xuan-Ha Vu [51] [57] [64]
62Toby Walsh [35] [48] [56]
63Nic Wilson [69] [72] [75] [82] [86] [89]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)