| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hadrien Cambazard, Emmanuel Hebrard, Barry O'Sullivan, Alexandre Papadopoulos |
Local search and constraint programming for the post enrolment-based course timetabling problem.  |
Annals OR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan |
A shortest path-based approach to the multileaf collimator sequencing problem. |
Discrete Applied Mathematics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada |
A Computational Geometry-Based Local Search Algorithm for Planar Location Problems. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael A. Finkel, Barry O'Sullivan |
Reasoning about conditional constraint specification problems and feature models. |
AI EDAM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan |
Domino portrait generation: a fast and scalable approach. |
Annals OR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle |
A Combinatorial Optimisation Approach to Designing Dual-Parented Long-Reach Passive Optical Networks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dániel Marx, Barry O'Sullivan, Igor Razgon |
Finding small separators in linear time via treewidth reduction |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon |
Soft Constraints of Difference and Equality. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, Pascal Van Hentenryck |
Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan |
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle |
Designing Resilient Long-Reach Passive Optical Networks. |
IAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Javier Larrosa, Barry O'Sullivan (eds.) |
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 |
CSCLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Simonis, Barry O'Sullivan |
Almost Square Packing. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle |
A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry O'Sullivan |
An Introduction to Constraint Programming and Combinatorial Optimisation. |
Reasoning Web |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mehta, Barry O'Sullivan, Luis Quesada |
Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, Barry O'Sullivan |
Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation". |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini |
Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria. |
Security and Communication Networks |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
Developing Approaches for Solving a Telecommunications Feature Subscription Problem. |
J. Artif. Intell. Res. (JAIR) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry O'Sullivan, Steven Keady, Enda Keane, Sandra Irwin, John O'Halloran |
Data Mining for Biodiversity Prediction in Forests. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hadrien Cambazard, Tarik Hadzic, Barry O'Sullivan |
Knowledge Compilation for Itemset Mining. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
Improving the Global Constraint SoftPrec. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dániel Marx, Barry O'Sullivan, Igor Razgon |
Treewidth Reduction for Constrained Separation and Bipartization Problems. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon N. Foley, Wayne Mac Adams, Barry O'Sullivan |
Aggregating Trust Using Triangular Norms in the KeyNote Trust Management System. |
STM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan |
Hybrid Methods for the Multileaf Collimator Sequencing Problem. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Hebrard, Eoin O'Mahony, Barry O'Sullivan |
Constraint Programming and Combinatorial Optimisation in Numberjack. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mehta, Barry O'Sullivan, Luis Quesada |
Preferred Explanations for Quantified Constraint Satisfaction Problems. |
ICTAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry O'Sullivan |
Automated Modelling and Solving in Constraint Programming. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
Context-Sensitive Call Control Using Constraints and Rules. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, Barry O'Sullivan |
Propagating the Bin Packing Constraint Using Linear Programming. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerome Kelleher, Barry O'Sullivan |
Generating All Partitions: A Comparison Of Two Encodings |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dániel Marx, Barry O'Sullivan, Igor Razgon |
Treewidth reduction for constrained separation and bipartization problems |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hadrien Cambazard, Barry O'Sullivan, Barbara M. Smith |
A constraint-based approach to Enigma 1225. |
Computers & Mathematics with Applications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Razgon, Barry O'Sullivan |
Almost 2-SAT is fixed-parameter tractable. |
J. Comput. Syst. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarik Hadzic, Barry O'Sullivan |
Functional Dependencies in MDD-Compiled Product Catalogues. |
ITWP |
2009 |
DBLP BibTeX RDF |
|
| 1 | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
A Soft Global Precedence Constraint. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tarik Hadzic, Barry O'Sullivan |
Uncovering functional dependencies in MDD-compiled product catalogues. |
RecSys |
2009 |
DBLP DOI BibTeX RDF |
functional dependencies, decision diagrams |
| 1 | Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan |
A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael A. Finkel, Barry O'Sullivan |
Reasoning about Conditional Constraint Specifications. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarik Hadzic, Eoin O'Mahony, Barry O'Sullivan, Meinolf Sellmann |
Enhanced Inference for the Market Split Problem. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Devlin, Barry O'Sullivan |
Preferential Attachment in Constraint Networks. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Horan, Barry O'Sullivan |
Towards Diverse Relaxations of Over-Constrained Models. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dara Curran, Barry O'Sullivan |
An Analysis of Lamarckian Learning in Changing Environments. |
ECAL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
Search Space Extraction. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan |
Minimising Decision Tree Size as Combinatorial Optimisation. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarik Hadzic, Alan Holland, Barry O'Sullivan |
Reasoning about Optimal Collections of Solutions. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon |
Constraints of Difference and Equality: A Complete Taxonomic Characterisation. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Papadopoulos, Barry O'Sullivan |
Compiling All Possible Conflicts of a CSP. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan-Ha Vu, Barry O'Sullivan |
A Unifying Framework for Generalized Constraint Acquisition. |
International Journal on Artificial Intelligence Tools |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, Barry O'Sullivan |
Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation. |
Constraints |
2008 |
DBLP DOI BibTeX RDF |
Table constraints, Explanation generation, Functional dependencies |
| 1 | Jianer Chen, Yang Liu 0002, Songjian Lu, Barry O'Sullivan, Igor Razgon |
A fixed-parameter algorithm for the directed feedback vertex set problem. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
parameterized computation, Deadlock, feedback vertex set |
| 1 | Igor Razgon, Barry O'Sullivan |
Almost 2-SAT is Fixed-Parameter Tractable |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tarik Hadzic, David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
A BDD Approach to the Feature Subscription Problem. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Razgon, Barry O'Sullivan |
Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract). |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini |
From Marriages to Coalitions: A Soft CSP Approach. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarik Hadzic, Barry O'Sullivan |
Critique graphs for catalogue navigation. |
RecSys |
2008 |
DBLP DOI BibTeX RDF |
recommender systems |
| 1 | Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan |
Fast and Scalable Domino Portrait Generation. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarik Hadzic, Esben Rune Hansen, Barry O'Sullivan |
Layer Compression in Decision Diagrams. |
ICTAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription. |
ICTAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianer Chen, Yang Liu 0002, Songjian Lu, Barry O'Sullivan, Igor Razgon |
A fixed-parameter algorithm for the directed feedback vertex set problem. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
parameterized complexity |
| 1 | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
Personalisation of Telecommunications Services as Combinatorial Optimisation. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan |
A Hybrid Approach to Domino Portrait Generation. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann |
Approximate Compilation of Constraints into Multivalued Decision Diagrams. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Simonis, Barry O'Sullivan |
Search Strategies for Rectangle Packing. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Papadopoulos, Barry O'Sullivan |
Relaxations for Compiled Over-Constrained Problems. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
Solving a Telecommunications Feature Subscription Configuration Problem. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Hebrard, Barry O'Sullivan, Igor Razgon |
A Soft Constraint of Equality: Complexity and Approximability. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, Barry O'Sullivan |
Reformulating Positive Table Constraints Using Functional Dependencies. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Razgon, Barry O'Sullivan |
Directed Feedback Vertex Set is Fixed-Parameter Tractable |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 Magazine |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
product variability, decision explanation, business process, constraint satisfaction, configuration, product-line engineering |
| 1 | Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh |
Distance Constraints in Constraint Satisfaction. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christian Bessière, Remi Coletta, Barry O'Sullivan, Mathias Paulin |
Query-Driven Constraint Acquisition. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alex Ferguson, Barry O'Sullivan |
Quantified Constraint Satisfaction Problems: From Relaxations to Explanations. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alan Holland, Barry O'Sullivan |
Truthful Risk-Managed Combinatorial Auctions. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hadrien Cambazard, Barry O'Sullivan |
A Reformulation-Based Approach to Explanation in Constraint Satisfaction. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan-Ha Vu, Barry O'Sullivan |
Generalized Constraint Acquisition. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Razgon, Barry O'Sullivan |
Directed Feedback Vertex Set is Fixed-Parameter Tractable. |
Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs |
2007 |
DBLP BibTeX RDF |
|
| 1 | Igor Razgon, Barry O'Sullivan, Gregory M. Provan |
Generalizing Global Constraints Based on Network Flows. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan-Ha Vu, Barry O'Sullivan |
Semiring-Based Constraint Acquisition. |
ICTAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarita Razgon, Barry O'Sullivan, Gregory M. Provan |
Search Ordering Heuristics for Restarts-Based Constraint Solving. |
FLAIRS Conference |
2007 |
DBLP BibTeX RDF |
|
| 1 | Barry O'Sullivan, John Horan |
Generating and Solving Logic Puzzles through Constraint Satisfaction. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, Pearl Pu |
Representative Explanations for Over-Constrained Problems. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan |
Constraint Symmetry for the Soft CSP. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry O'Sullivan, Peter van Beek |
Introduction to the Special Issue on Principles and Practice of Constraint Programming (CP 2005). |
Constraints |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor Hulubei, Barry O'Sullivan |
The Impact of Search Heuristics on Heavy-Tailed Behaviour. |
Constraints |
2006 |
DBLP DOI BibTeX RDF |
Runtime distributions, Constraint satisfactions, Search heuristics |
| 1 | Barry O'Sullivan |
Special Issue: Constraints and design. |
AI EDAM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart |
Multilevel Security and Quality of Protection. |
Quality of Protection |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Radoslaw Szymanek, Barry O'Sullivan |
Guiding Search Using Constraint-Level Advice. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Eric Monfroy, Barry O'Sullivan |
Special track editorial: constraint solving and programming. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Razgon, Barry O'Sullivan |
Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry O'Sullivan, Gregory M. Provan |
Approximate Compilation for Embedded Model-based Reasoning. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christian Bessière, Remi Coletta, Frédéric Koriche, Barry O'Sullivan |
Acquiring Constraint Networks Using a SAT-based Version Space Algorithm. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alex Ferguson, Barry O'Sullivan |
Relaxations and Explanations for Quantified Constraint Satisfaction Problems. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor Hulubei, Barry O'Sullivan |
Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor Hulubei, Barry O'Sullivan |
Failure Analysis in Backtrack Search for Constraint Satisfaction. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan |
A soft constraint-based approach to the cascade vulnerability problem. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Barry O'Sullivan, Barry O'Callaghan, Eugene C. Freuder |
Corrective Explanation for Interactive Constraint Satisfaction. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tudor Hulubei, Barry O'Sullivan |
Optimal Refutations for Constraint Satisfaction Problems. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")