Barry O'Sullivan

According to our database1, Barry O'Sullivan authored at least 253 papers between 1998 and 2018.

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
A constraint-based parallel local search for the edge-disjoint rooted distance-constrained minimum spanning tree problem.
J. Heuristics, 2018

Semi-online task assignment policies for workload consolidation in cloud computing systems.
Future Generation Comp. Syst., 2018

Three-Dimensional Matching Instances Are Rich in Stable Matchings.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017
The Inductive Constraint Programming Loop.
IEEE Intelligent Systems, 2017

On the Complexity of Robust Stable Marriage.
CoRR, 2017

Finding Robust Solutions to Stable Marriage.
CoRR, 2017

The ICON Challenge on Algorithm Selection.
AI Magazine, 2017

Constraint acquisition.
Artif. Intell., 2017

Analysing the effect of candidate selection and instance ordering in a realtime algorithm configuration system.
Proceedings of the Symposium on Applied Computing, 2017

Finding Robust Solutions to Stable Marriage.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Acquiring Local Preferences of Weighted Partial MaxSAT.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

New Models for Two Variants of Popular Matching.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

On database intrusion detection: A Query analytics-based model of normative behavior to detect insider attacks.
Proceedings of the 7th International Conference on Communication and Network Security, 2017

A Semantic Approach to Frequency Based Anomaly Detection of Insider Access in Database Management Systems.
Proceedings of the Risks and Security of Internet and Systems, 2017

A Distributed Optimization Method for the Geographically Distributed Data Centres Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Rotation-Based Formulation for Stable Matching.
Proceedings of the Principles and Practice of Constraint Programming, 2017

On the Complexity of Robust Stable Marriage.
Proceedings of the Combinatorial Optimization and Applications, 2017

Robust Stable Marriage.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
ICON Loop Carpooling Show Case.
Proceedings of the Data Mining and Constraint Programming, 2016

The Inductive Constraint Programming Loop.
Proceedings of the Data Mining and Constraint Programming, 2016

ICON Loop Energy Show Case.
Proceedings of the Data Mining and Constraint Programming, 2016

Introduction to Combinatorial Optimisation in Numberjack.
Proceedings of the Data Mining and Constraint Programming, 2016

ICON Loop Health Show Case.
Proceedings of the Data Mining and Constraint Programming, 2016

Advanced Portfolio Techniques.
Proceedings of the Data Mining and Constraint Programming, 2016

Extrapolating from Limited Uncertain Information in Large-Scale Combinatorial Optimization Problems to Obtain Robust Solutions.
International Journal on Artificial Intelligence Tools, 2016

Increasing task consolidation efficiency by using more accurate resource estimations.
Future Generation Comp. Syst., 2016

Elastic Solver: Balancing Solution Time and Energy Consumption.
CoRR, 2016

Multi-language evaluation of exact solvers in graphical model discrete optimization.
Constraints, 2016

An Improved Metaheuristic Algorithm for Maximizing Demand Satisfaction in the Population Harvest Cutting Stock Problem.
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Comparing tree and chain topologies for designing resilient backhaul access network.
Proceedings of the 2016 International Conference on Optical Network Design and Modeling, 2016

Robust Server Consolidation: Coping with Peak Demand Underestimation.
Proceedings of the 24th IEEE International Symposium on Modeling, 2016

Requests Management for Smartphone-Based Matching Applications Using a Multi-agent Approach.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Structure-Preserving Instance Generation.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Bounding the Search Space of the Population Harvest Cutting Problem with Multiple Size Stock Selection.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Learning a Stopping Criterion for Local Search.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Comparison between Two Optimisation Alternatives for Mapping in Wireless Network on Chip.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Representative Itemset Mining.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Improving Navigation in Critique Graphs.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

The Temporal Bin Packing Problem: An Application to Workload Management in Data Centres.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Revisiting Two-Sided Stability Constraints.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Optimizing Energy Costs in a Zinc and Lead Mine.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

A CP-Based Approach for Popular Matching.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Bin Packing with Linear Usage Costs.
CoRR, 2015

The Inductive Constraint Programming Loop.
CoRR, 2015

A constraint programming approach to the additional relay placement problem in wireless sensor networks.
Constraints, 2015

The GENiC Architecture for Integrated Data Centre Energy Management.
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

Trichotomic Search for Thermal-Aware Data Centre Workload Optimisation.
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

Solving a Hard Cutting Stock Problem by Machine Learning and Optimisation.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2015

Computing distance-bounded node-disjoint paths for all pairs of nodes - An application to optical core network design.
Proceedings of the 7th International Workshop on Reliable Networks Design and Modeling, 2015

A constraint-based local search for designing tree networks with distance and disjoint constraints.
Proceedings of the 7th International Workshop on Reliable Networks Design and Modeling, 2015

Computation and Complexity of Preference Inference Based on Hierarchical Models.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

ReACTR: Realtime Algorithm Configuration through Tournament Rankings.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Statistical Regimes and Runtime Prediction.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Large Neighbourhood Search for Energy-Efficient Train Timetabling.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Optimising dual homing for long-reach passive optical networks.
Proceedings of the 11th International Conference on the Design of Reliable Communication Networks, 2015

A Constraint-Based Local Search for Edge Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

Find Your Way Back: Mobility Profile Mining with Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2015

Constraint-Based Local Search for Finding Node-Disjoint Bounded-Paths in Optical Access Networks.
Proceedings of the Principles and Practice of Constraint Programming, 2015

An adaptive large neighbourhood search for designing transparent optical core network.
Proceedings of the 13th International Conference on Telecommunications, 2015

On the Minimal Constraint Satisfaction Problem: Complexity and Generation.
Proceedings of the Combinatorial Optimization and Applications, 2015

Energy cost minimisation of geographically distributed data centres.
Proceedings of the 4th IEEE International Conference on Cloud Networking, 2015

On Energy- and Cooling-Aware Data Centre Workload Management.
Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

2014
Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development.
IEEE Trans. Computers, 2014

Constraints, Optimization and Data (Dagstuhl Seminar 14411).
Dagstuhl Reports, 2014

Developing Approaches for Solving a Telecommunications Feature Subscription Problem.
CoRR, 2014

Soft Constraints of Difference and Equality.
CoRR, 2014

Transformation-based Feature Computation for Algorithm Portfolios.
CoRR, 2014

Grand challenges for constraint programming.
Constraints, 2014

DISCUS: an end-to-end solution for ubiquitous broadband optical access.
IEEE Communications Magazine, 2014

Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence.
AI Magazine, 2014

A Constraint-Based Dental School Timetabling System.
AI Magazine, 2014

Computational protein design as an optimization problem.
Artif. Intell., 2014

A Methodology for Online Consolidation of Tasks through More Accurate Resource Estimations.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Latent Features for Algorithm Selection.
Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014

ReACT: Real-Time Algorithm Configuration through Tournaments.
Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014

A scalable optimisation approach to minimising IP protection capacity for Long-Reach PON.
Proceedings of the 18th International Conference on Optical Network Design and Modeling, 2014

Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Extrapolating from Limited Uncertain Information to Obtain Robust Solutions for Large-Scale Optimization Problems.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Constraint-Based Local Search for the Distance- and Capacity-Bounded Network Design Problem.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Towards the distributed core for ubiquitous superfast broadband optical access.
Proceedings of the European Conference on Networks and Communications, 2014

Optimisation for the Ride-Sharing Problem: a Complexity-based Approach.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Proteus: A Hierarchical Portfolio of Solvers and Transformations.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon.
Proceedings of the 14th IEEE/ACM International Symposium on Cluster, 2014

Online Search Algorithm Configuration.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Finding small separators in linear time via treewidth reduction.
ACM Trans. Algorithms, 2013

Proteus: A Hierarchical Portfolio of Solvers and Transformations.
CoRR, 2013

The AAAI-13 Conference Workshops.
AI Magazine, 2013

Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices.
Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013

Evolving Instance Specific Algorithm Configuration.
Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

SNNAP: Solver-Based Nearest Neighbor for Algorithm Portfolios.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2013

Problem Transformations and Algorithm Selection for CSPs.
Proceedings of the IJCAI 2013, 2013

Explanations and Relaxations for Policy Conflicts in Physical Access Control.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Lazy Branching for Constraint Satisfaction.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

The Deployment of a Constraint-Based Dental School Timetabling System.
Proceedings of the Twenty-Fifth Innovative Applications of Artificial Intelligence Conference, 2013

A Study of Electricity Price Features on Distributed Internet Data Centers.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013

Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013

Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

Dead-End Elimination for Weighted CSP.
Proceedings of the Principles and Practice of Constraint Programming, 2013

Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
A shortest path-based approach to the multileaf collimator sequencing problem.
Discrete Applied Mathematics, 2012

Local search and constraint programming for the post enrolment-based course timetabling problem.
Annals OR, 2012

Reports of the AAAI 2011 Conference Workshops.
AI Magazine, 2012

Deployment case studies of an energy efficient protected LR-PON architecture.
Proceedings of the 16th International Conference on Optical Network Design and Modelling, 2012

Compiling Domain Consequences.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Adaptation in a CBR-Based Solver Portfolio for the Satisfiability Problem.
Proceedings of the Case-Based Reasoning Research and Development, 2012

What-If Analysis Through Simulation-Optimization Hybrids.
Proceedings of the 26th European Conference on Modelling and Simulation, 2012

Anomaly analysis for Physical Access Control security configuration.
Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012

A Computational Geometry-Based Local Search Algorithm for Planar Location Problems.
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

Where Are the Interesting Problems?
Proceedings of the Principles and Practice of Constraint Programming, 2012

Comparing Solution Methods for the Machine Reassignment Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Properties of Energy-Price Forecasts for Scheduling.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Weibull-Based Benchmarks for Bin Packing.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Opportunities and Challenges for Constraint Programming.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Case-Based Reasoning for Autonomous Constraint Solving.
Proceedings of the Autonomous Search, 2012

2011
Soft Constraints of Difference and Equality.
J. Artif. Intell. Res., 2011

Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201).
Dagstuhl Reports, 2011

Finding small separators in linear time via treewidth reduction
CoRR, 2011

A Combinatorial Optimisation Approach to Designing Dual-Parented Long-Reach Passive Optical Networks
CoRR, 2011

Domino portrait generation: a fast and scalable approach.
Annals OR, 2011

Reasoning about conditional constraint specification problems and feature models.
AI EDAM, 2011

Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

An Introduction to Constraint Programming and Combinatorial Optimisation.
Proceedings of the Reasoning Web. Semantic Technologies for the Web of Data, 2011

A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Designing Resilient Long-Reach Passive Optical Networks.
Proceedings of the Twenty-Third Conference on Innovative Applications of Artificial Intelligence, 2011

Almost Square Packing.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria.
Security and Communication Networks, 2010

Developing Approaches for Solving a Telecommunications Feature Subscription Problem.
J. Artif. Intell. Res., 2010

Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation".
Constraints, 2010

Aggregating Trust Using Triangular Norms in the KeyNote Trust Management System.
Proceedings of the Security and Trust Management - 6th International Workshop, 2010

Treewidth Reduction for Constrained Separation and Bipartization Problems.
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

Preferred Explanations for Quantified Constraint Satisfaction Problems.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Data Mining for Biodiversity Prediction in Forests.
Proceedings of the ECAI 2010, 2010

Improving the Global Constraint SoftPrec.
Proceedings of the ECAI 2010, 2010

Knowledge Compilation for Itemset Mining.
Proceedings of the ECAI 2010, 2010

Constraint Programming and Combinatorial Optimisation in Numberjack.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Hybrid Methods for the Multileaf Collimator Sequencing Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Context-Sensitive Call Control Using Constraints and Rules.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Propagating the Bin Packing Constraint Using Linear Programming.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Automated Modelling and Solving in Constraint Programming.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Almost 2-SAT is fixed-parameter tractable.
J. Comput. Syst. Sci., 2009

Generating All Partitions: A Comparison Of Two Encodings
CoRR, 2009

Treewidth reduction for constrained separation and bipartization problems
CoRR, 2009

A constraint-based approach to Enigma 1225.
Computers & Mathematics with Applications, 2009

Uncovering functional dependencies in MDD-compiled product catalogues.
Proceedings of the 2009 ACM Conference on Recommender Systems, 2009

A Soft Global Precedence Constraint.
Proceedings of the IJCAI 2009, 2009

Functional Dependencies in MDD-Compiled Product Catalogues.
Proceedings of the 7th Workshop on Intelligent Techniques for Web Personalization & Recommender Systems (ITWP'09), Pasadena, California, USA, July 11-17, 2009 in conjunction with the 21st International Joint Conference on Artificial Intelligence, 2009

Towards Diverse Relaxations of Over-Constrained Models.
Proceedings of the ICTAI 2009, 2009

Enhanced Inference for the Market Split Problem.
Proceedings of the ICTAI 2009, 2009

Reasoning about Conditional Constraint Specifications.
Proceedings of the ICTAI 2009, 2009

Preferential Attachment in Constraint Networks.
Proceedings of the ICTAI 2009, 2009

An Analysis of Lamarckian Learning in Changing Environments.
Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

Compiling All Possible Conflicts of a CSP.
Proceedings of the Principles and Practice of Constraint Programming, 2009

Search Space Extraction.
Proceedings of the Principles and Practice of Constraint Programming, 2009

Constraints of Difference and Equality: A Complete Taxonomic Characterisation.
Proceedings of the Principles and Practice of Constraint Programming, 2009

Reasoning about Optimal Collections of Solutions.
Proceedings of the Principles and Practice of Constraint Programming, 2009

Minimising Decision Tree Size as Combinatorial Optimisation.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
A fixed-parameter algorithm for the directed feedback vertex set problem.
J. ACM, 2008

A Unifying Framework for Generalized Constraint Acquisition.
International Journal on Artificial Intelligence Tools, 2008

Almost 2-SAT is Fixed-Parameter Tractable
CoRR, 2008

Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation.
Constraints, 2008

A fixed-parameter algorithm for the directed feedback vertex set problem.
Proceedings of the 40th Annual ACM Symposium on Theory of Computing, 2008

Critique graphs for catalogue navigation.
Proceedings of the 2008 ACM Conference on Recommender Systems, 2008

Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription.
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Layer Compression in Decision Diagrams.
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

A BDD Approach to the Feature Subscription Problem.
Proceedings of the ECAI 2008, 2008

From Marriages to Coalitions: A Soft CSP Approach.
Proceedings of the Recent Advances in Constraints, 2008

Fast and Scalable Domino Portrait Generation.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

Search Strategies for Rectangle Packing.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Relaxations for Compiled Over-Constrained Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Solving a Telecommunications Feature Subscription Configuration Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2008

A Soft Constraint of Equality: Complexity and Approximability.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Approximate Compilation of Constraints into Multivalued Decision Diagrams.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Reformulating Positive Table Constraints Using Functional Dependencies.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Personalisation of Telecommunications Services as Combinatorial Optimisation.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

A Hybrid Approach to Domino Portrait Generation.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Configuration.
IEEE Intelligent Systems, 2007

Directed Feedback Vertex Set is Fixed-Parameter Tractable
CoRR, 2007

AAAI-07 Workshop Reports.
AI Magazine, 2007

Generalized Constraint Acquisition.
Proceedings of the Abstraction, 2007

A Reformulation-Based Approach to Explanation in Constraint Satisfaction.
Proceedings of the Abstraction, 2007

Truthful Risk-Managed Combinatorial Auctions.
Proceedings of the IJCAI 2007, 2007

Distance Constraints in Constraint Satisfaction.
Proceedings of the IJCAI 2007, 2007

Quantified Constraint Satisfaction Problems: From Relaxations to Explanations.
Proceedings of the IJCAI 2007, 2007

Query-Driven Constraint Acquisition.
Proceedings of the IJCAI 2007, 2007

Semiring-Based Constraint Acquisition.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

Search Ordering Heuristics for Restarts-Based Constraint Solving.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Directed Feedback Vertex Set is Fixed-Parameter Tractable.
Proceedings of the Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs, 08.07., 2007

Generalizing Global Constraints Based on Network Flows.
Proceedings of the Recent Advances in Constraints, 2007

Constraint Symmetry for the Soft CSP.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Representative Explanations for Over-Constrained Problems.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Generating and Solving Logic Puzzles through Constraint Satisfaction.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Multilevel Security and Quality of Protection.
Proceedings of the Quality of Protection - Security Measurements and Metrics, 2006

Introduction to the Special Issue on Principles and Practice of Constraint Programming (CP 2005).
Constraints, 2006

The Impact of Search Heuristics on Heavy-Tailed Behaviour.
Constraints, 2006

Special Issue: Constraints and design.
AI EDAM, 2006

Special track editorial: constraint solving and programming.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration.
Proceedings of the Autonomic Principles of IP Operations and Management, 2006

Guiding Search Using Constraint-Level Advice.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems.
Proceedings of the Recent Advances in Constraints, 2006

Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations.
Proceedings of the Principles and Practice of Constraint Programming, 2006

Failure Analysis in Backtrack Search for Constraint Satisfaction.
Proceedings of the Principles and Practice of Constraint Programming, 2006

Relaxations and Explanations for Quantified Constraint Satisfaction Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2006

Approximate Compilation for Embedded Model-based Reasoning.
Proceedings of the Proceedings, 2006

Acquiring Constraint Networks Using a SAT-based Version Space Algorithm.
Proceedings of the Proceedings, 2006

2005
A soft constraint-based approach to the cascade vulnerability problem.
Journal of Computer Security, 2005

Robust solutions for combinatorial auctions.
Proceedings of the Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), 2005

Timid acquisition of constraint satisfaction problems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Editorial: special track on constraint solving and programming.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Corrective Explanation for Interactive Constraint Satisfaction.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Optimal Refutations for Constraint Satisfaction Problems.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems.
Proceedings of the Machine Learning: ECML 2005, 2005

Generating Corrective Explanations for Interactive Constraint Satisfaction.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Search Heuristics and Heavy-Tailed Behaviour.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Building Reactive Characters for Dynamic Gaming Environments.
Proceedings of the 2005 IEEE Symposium on Computational Intelligence and Games (CIG05), 2005

Weighted Super Solutions for Constraint Programs.
Proceedings of the Proceedings, 2005

Finding Diverse and Similar Solutions in Constraint Programming.
Proceedings of the Proceedings, 2005

2004
Introduction to the Special Issue on User-Interaction in Constraint Satisfaction.
Constraints, 2004

Towards Fast Vickrey Pricing using Constraint Programming.
Artif. Intell. Rev., 2004

Modeling and detecting the cascade vulnerability problem using soft constraints.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Evaluation-Based Semiring Meta-constraints.
Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

Reasoning about Secure Interoperation Using Soft Constraints.
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor.
Proceedings of the Innovations in Applied Artificial Intelligence, 2004

Boosting Constraint Satisfaction Using Decision Trees.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Super Solutions for Combinatorial Auctions.
Proceedings of the Recent Advances in Constraints, 2004

Leveraging the Learning Power of Examples in Automated Constraint Acquisition.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Creating personalized documents: an optimization approach.
Proceedings of the 2003 ACM Symposium on Document Engineering, 2003

Tradeoff Generation Using Soft Constraints.
Proceedings of the Recent Advances in Constraints, 2003

Teacher and Learner Profiles for Constraint Acquisition.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Useful Explanations.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Optimising the Representation and Evaluation of Semiring Combination Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2003

A Constraint-Aided Conceptual Design Environment for Autodesk Inventor.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Algorithmic Mechanism Design and Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Interactive Tradeoff Generation.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Semi-automatic Modeling by Constraint Acquisition.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
Interactive constraint-aided conceptual design.
AI EDAM, 2002

Constraint-Aided Conceptual Design.
Engineering research series, Wiley, ISBN: 978-1-86058-335-3, 2002

2001
Generating Tradeoffs for Interactive Constraint-Based Configuration.
Proceedings of the Principles and Practice of Constraint Programming, 2001

1998
A Constraint-Based Approach to Supporting Conceptual Design.
Proceedings of the Artificial Intelligence in Design '98, 1998


  Loading...