| 2009 |
|---|
| 82 | EE | Dániel Marx,
Barry O'Sullivan,
Igor Razgon:
Treewidth reduction for constrained separation and bipartization problems
CoRR abs/0902.3780: (2009) |
| 2008 |
|---|
| 81 | | David Lesaint,
Deepak Mehta,
Barry O'Sullivan,
Luis Quesada,
Nic Wilson:
Personalisation of Telecommunications Services as Combinatorial Optimisation.
AAAI 2008: 1693-1698 |
| 80 | | Hadrien Cambazard,
John Horan,
Eoin O'Mahony,
Barry O'Sullivan:
A Hybrid Approach to Domino Portrait Generation.
AAAI 2008: 1874-1875 |
| 79 | EE | Emmanuel Hebrard,
Barry O'Sullivan,
Igor Razgon:
A Soft Constraint of Equality: Complexity and Approximability.
CP 2008: 358-371 |
| 78 | EE | Hadrien Cambazard,
Barry O'Sullivan:
Reformulating Positive Table Constraints Using Functional Dependencies.
CP 2008: 418-432 |
| 77 | EE | Alexandre Papadopoulos,
Barry O'Sullivan:
Relaxations for Compiled Over-Constrained Problems.
CP 2008: 433-447 |
| 76 | EE | Tarik Hadzic,
John N. Hooker,
Barry O'Sullivan,
Peter Tiedemann:
Approximate Compilation of Constraints into Multivalued Decision Diagrams.
CP 2008: 448-462 |
| 75 | EE | Helmut Simonis,
Barry O'Sullivan:
Search Strategies for Rectangle Packing.
CP 2008: 52-66 |
| 74 | EE | David Lesaint,
Deepak Mehta,
Barry O'Sullivan,
Luis Quesada,
Nic Wilson:
Solving a Telecommunications Feature Subscription Configuration Problem.
CP 2008: 67-81 |
| 73 | EE | Hadrien Cambazard,
John Horan,
Eoin O'Mahony,
Barry O'Sullivan:
Fast and Scalable Domino Portrait Generation.
CPAIOR 2008: 51-65 |
| 72 | EE | 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 |
| 71 | EE | Igor Razgon,
Barry O'Sullivan:
Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract).
ICALP (1) 2008: 551-562 |
| 70 | EE | Tarik Hadzic,
Esben Rune Hansen,
Barry O'Sullivan:
Layer Compression in Decision Diagrams.
ICTAI (1) 2008: 19-26 |
| 69 | EE | 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 |
| 68 | EE | Tarik Hadzic,
Barry O'Sullivan:
Critique graphs for catalogue navigation.
RecSys 2008: 115-122 |
| 67 | EE | 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 |
| 66 | EE | Igor Razgon,
Barry O'Sullivan:
Almost 2-SAT is Fixed-Parameter Tractable
CoRR abs/0801.1300: (2008) |
| 65 | EE | Hadrien Cambazard,
Barry O'Sullivan:
Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation.
Constraints 13(3): 385-406 (2008) |
| 64 | EE | Xuan-Ha Vu,
Barry O'Sullivan:
A Unifying Framework for Generalized Constraint Acquisition.
International Journal on Artificial Intelligence Tools 17(5): 803-833 (2008) |
| 63 | EE | 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): (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 |
| 60 | EE | Barbara M. Smith,
Stefano Bistarelli,
Barry O'Sullivan:
Constraint Symmetry for the Soft CSP.
CP 2007: 872-879 |
| 59 | EE | Igor 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 |
| 57 | EE | Xuan-Ha Vu,
Barry O'Sullivan:
Semiring-Based Constraint Acquisition.
ICTAI (1) 2007: 251-258 |
| 56 | EE | Emmanuel Hebrard,
Barry O'Sullivan,
Toby Walsh:
Distance Constraints in Constraint Satisfaction.
IJCAI 2007: 106-111 |
| 55 | EE | Alan Holland,
Barry O'Sullivan:
Truthful Risk-Managed Combinatorial Auctions.
IJCAI 2007: 1315-1320 |
| 54 | EE | Christian Bessière,
Remi Coletta,
Barry O'Sullivan,
Mathias Paulin:
Query-Driven Constraint Acquisition.
IJCAI 2007: 50-55 |
| 53 | EE | Alex Ferguson,
Barry O'Sullivan:
Quantified Constraint Satisfaction Problems: From Relaxations to Explanations.
IJCAI 2007: 74-79 |
| 52 | EE | Hadrien Cambazard,
Barry O'Sullivan:
A Reformulation-Based Approach to Explanation in Constraint Satisfaction.
SARA 2007: 395-396 |
| 51 | EE | Xuan-Ha Vu,
Barry O'Sullivan:
Generalized Constraint Acquisition.
SARA 2007: 411-412 |
| 50 | EE | Igor Razgon,
Barry O'Sullivan:
Directed Feedback Vertex Set is Fixed-Parameter Tractable.
Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs 2007 |
| 49 | EE | Igor Razgon,
Barry O'Sullivan:
Directed Feedback Vertex Set is Fixed-Parameter Tractable
CoRR abs/0707.0282: (2007) |
| 48 | EE | Carsten 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 |
| 45 | EE | Alex Ferguson,
Barry O'Sullivan:
Relaxations and Explanations for Quantified Constraint Satisfaction Problems.
CP 2006: 690-694 |
| 44 | EE | Tudor Hulubei,
Barry O'Sullivan:
Failure Analysis in Backtrack Search for Constraint Satisfaction.
CP 2006: 731-735 |
| 43 | EE | Tudor Hulubei,
Barry O'Sullivan:
Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations.
CP 2006: 736-740 |
| 42 | EE | Igor 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 |
| 40 | EE | 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 |
| 39 | EE | Stefano Bistarelli,
Eric Monfroy,
Barry O'Sullivan:
Special track editorial: constraint solving and programming.
SAC 2006: 392-393 |
| 38 | EE | Barry O'Sullivan:
Special Issue: Constraints and design.
AI EDAM 20(4): 295 (2006) |
| 37 | EE | Tudor Hulubei,
Barry O'Sullivan:
The Impact of Search Heuristics on Heavy-Tailed Behaviour.
Constraints 11(2-3): 159-178 (2006) |
| 36 | EE | Barry 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 |
| 33 | EE | Alan Holland,
Barry O'Sullivan:
Robust solutions for combinatorial auctions.
ACM Conference on Electronic Commerce 2005: 183-192 |
| 32 | EE | Peter Blackburn,
Barry O'Sullivan:
Building Reactive Characters for Dynamic Gaming Environments.
CIG 2005 |
| 31 | EE | Tudor Hulubei,
Barry O'Sullivan:
Search Heuristics and Heavy-Tailed Behaviour.
CP 2005: 328-342 |
| 30 | EE | Barry O'Callaghan,
Barry O'Sullivan,
Eugene C. Freuder:
Generating Corrective Explanations for Interactive Constraint Satisfaction.
CP 2005: 445-459 |
| 29 | EE | Christian 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 |
| 28 | EE | Barry O'Sullivan,
Barry O'Callaghan,
Eugene C. Freuder:
Corrective Explanation for Interactive Constraint Satisfaction.
IJCAI 2005: 1531-1532 |
| 27 | EE | Tudor Hulubei,
Barry O'Sullivan:
Optimal Refutations for Constraint Satisfaction Problems.
IJCAI 2005: 163-168 |
| 26 | EE | Stefano Bistarelli,
Eric Monfroy,
Barry O'Sullivan:
Editorial: special track on constraint solving and programming.
SAC 2005: 364-365 |
| 25 | EE | Sarah O'Connell,
Barry O'Sullivan,
Eugene C. Freuder:
Timid acquisition of constraint satisfaction problems.
SAC 2005: 404-408 |
| 24 | EE | Stefano 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 |
| 22 | EE | Christian Bessière,
Remi Coletta,
Eugene C. Freuder,
Barry O'Sullivan:
Leveraging the Learning Power of Examples in Automated Constraint Acquisition.
CP 2004: 123-137 |
| 21 | EE | Alan Holland,
Barry O'Sullivan:
Super Solutions for Combinatorial Auctions.
CSCLP 2004: 187-200 |
| 20 | EE | Stefano Bistarelli,
Simon N. Foley,
Barry O'Sullivan:
Reasoning about Secure Interoperation Using Soft Constraints.
Formal Aspects in Security and Trust 2004: 173-186 |
| 19 | EE | Stefano Bistarelli,
Eugene C. Freuder,
Barry O'Sullivan:
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints.
ICTAI 2004: 240-245 |
| 18 | EE | Barry O'Sullivan,
Alex Ferguson,
Eugene C. Freuder:
Boosting Constraint Satisfaction Using Decision Trees.
ICTAI 2004: 646-651 |
| 17 | EE | Alan Holland,
Barry O'Callaghan,
Barry O'Sullivan:
Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor.
IEA/AIE 2004: 905-914 |
| 16 | EE | Jerome Kelleher,
Barry O'Sullivan:
Evaluation-Based Semiring Meta-constraints.
MICAI 2004: 179-189 |
| 15 | EE | Stefano Bistarelli,
Simon N. Foley,
Barry O'Sullivan:
Modeling and detecting the cascade vulnerability problem using soft constraints.
SAC 2004: 383-390 |
| 14 | EE | Alan Holland,
Barry O'Sullivan:
Towards Fast Vickrey Pricing using Constraint Programming.
Artif. Intell. Rev. 21(3-4): 335-352 (2004) |
| 13 | EE | Barry 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 |
| 11 | EE | Lisa Purvis,
Steven Harrington,
Barry O'Sullivan,
Eugene C. Freuder:
Creating personalized documents: an optimization approach.
ACM Symposium on Document Engineering 2003: 68-77 |
| 10 | EE | Alan Holland,
Barry O'Callaghan,
Barry O'Sullivan:
A Constraint-Aided Conceptual Design Environment for Autodesk Inventor.
CP 2003: 422-436 |
| 9 | EE | 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 |
| 8 | EE | Moyra Duggan,
Barry O'Sullivan,
Eugene C. Freuder:
Interactive Tradeoff Generation.
CP 2003: 970 |
| 7 | EE | Alan Holland,
Barry O'Sullivan:
Algorithmic Mechanism Design and Constraints.
CP 2003: 976 |
| 6 | EE | Jerome Kelleher,
Barry O'Sullivan:
Optimising the Representation and Evaluation of Semiring Combination Constraints.
CP 2003: 978 |
| 5 | EE | Barry O'Callaghan,
Eugene C. Freuder,
Barry O'Sullivan:
Useful Explanations.
CP 2003: 988 |
| 4 | EE | Sarah O'Connell,
Barry O'Sullivan,
Eugene C. Freuder:
Teacher and Learner Profiles for Constraint Acquisition.
CP 2003: 989 |
| 3 | EE | Stefano 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 |
|---|
| 1 | EE | Eugene C. Freuder,
Barry O'Sullivan:
Generating Tradeoffs for Interactive Constraint-Based Configuration.
CP 2001: 590-594 |
