Barry O'Sullivan

Proceedings of the Emerging Information Security and Applications, 2021

The Hybrid Flexible Flowshop with Transportation Times.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Ethical Data Curation for AI: An Approach based on Feminist Epistemology and Critical Theories of Race.

[BibT_eX]

[DOI]

Susan Leavy

Eugenia Siapera

Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021

2020

Generating Difficult CNF Instances in Unexplored Constrainedness Regions.

[BibT_eX]

[DOI]

Steven David Prestwich

ACM J. Exp. Algorithmics, 2020

Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2020

Quantitatively Measuring Privacy in Interactive Query Settings Within RDBMS Framework.

[BibT_eX]

[DOI]

Frontiers Big Data, 2020

Privacy Interpretation of Behavioural-based Anomaly Detection Approaches.

[BibT_eX]

[DOI]

CoRR, 2020

Database Intrusion Detection Systems (DIDs): Insider Threat Detection via Behavioural-based Anomaly Detection Systems - A Brief Survey of Concepts and Approaches.

[BibT_eX]

[DOI]

CoRR, 2020

Data, Power and Bias in Artificial Intelligence.

[BibT_eX]

[DOI]

Susan Leavy

Eugenia Siapera

CoRR, 2020

Towards Privacy-anomaly Detection: Discovering Correlation between Privacy and Security-anomalies.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2020) / The 15th International Conference on Future Networks and Communications (FNC-2020) / The 10th International Conference on Sustainable Energy Information Technology, 2020

A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork.

[BibT_eX]

[DOI]

Begum Genc

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Complexity Study for the Robust Stable Marriage Problem.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Combinatorial search from an energy perspective.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2019

Candidate Selection and Instance Ordering for Realtime Algorithm Configuration.

[BibT_eX]

[DOI]

Tadhg Fitzgerald

Fundam. Informaticae, 2019

Solving Logic Grid Puzzles with an Algorithm that Imitates Human Behavior.

[BibT_eX]

[DOI]

CoRR, 2019

Generating Difficult SAT Instances by Preventing Triangles.

[BibT_eX]

[DOI]

Steven David Prestwich

CoRR, 2019

PriDe: A Quantitative Measure of Privacy-Loss in Interactive Querying Settings.

[BibT_eX]

[DOI]

Proceedings of the 10th IFIP International Conference on New Technologies, 2019

Predicting Judicial Decisions: A Statistically Rigorous Approach and a New Ensemble Classifier.

[BibT_eX]

[DOI]

Andrea Visentin

Alessia Nardotto

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Pushing the frontier of minimality.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

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

[BibT_eX]

[DOI]

J. Heuristics, 2018

Semi-online task assignment policies for workload consolidation in cloud computing systems.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Constrainedness in Stable Matching.

[BibT_eX]

[DOI]

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

From Offline to Online Kidney Exchange Optimization.

[BibT_eX]

[DOI]

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Three-Dimensional Matching Instances Are Rich in Stable Matchings.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Towards Modelling Insiders Behaviour as Rare Behaviour to Detect Malicious RDBMS Access.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Preference Inference Based on Hierarchical and Simple Lexiographic Models.

[BibT_eX]

[DOI]

Nic Wilson

Anne-Marie George

FLAP, 2017

The Inductive Constraint Programming Loop.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2017

The ICON Challenge on Algorithm Selection.

[BibT_eX]

[DOI]

Lars Kotthoff

AI Mag., 2017

Constraint acquisition.

[BibT_eX]

[DOI]

Artif. Intell., 2017

Analysing the effect of candidate selection and instance ordering in a realtime algorithm configuration system.

[BibT_eX]

[DOI]

Tadhg Fitzgerald

Proceedings of the Symposium on Applied Computing, 2017

Finding Robust Solutions to Stable Marriage.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Generation of a reference network for Ireland and its contribution to the design of an optical network architecture.

[BibT_eX]

[DOI]

Proceedings of the 2017 19th International Conference on Transparent Optical Networks (ICTON), 2017

Acquiring Local Preferences of Weighted Partial MaxSAT.

[BibT_eX]

[DOI]

Hong Huang

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

New Models for Two Variants of Popular Matching.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Risks and Security of Internet and Systems, 2017

A Distributed Optimization Method for the Geographically Distributed Data Centres Problem.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Rotation-Based Formulation for Stable Matching.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

On the Complexity of Robust Stable Marriage.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2017

Robust Stable Marriage.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

ICON Loop Carpooling Show Case.

[BibT_eX]

[DOI]

Proceedings of the Data Mining and Constraint Programming, 2016

The Inductive Constraint Programming Loop.

[BibT_eX]

[DOI]

Proceedings of the Data Mining and Constraint Programming, 2016

ICON Loop Energy Show Case.

[BibT_eX]

[DOI]

Proceedings of the Data Mining and Constraint Programming, 2016

Introduction to Combinatorial Optimisation in Numberjack.

[BibT_eX]

[DOI]

Proceedings of the Data Mining and Constraint Programming, 2016

ICON Loop Health Show Case.

[BibT_eX]

[DOI]

Proceedings of the Data Mining and Constraint Programming, 2016

Advanced Portfolio Techniques.

[BibT_eX]

[DOI]

Proceedings of the Data Mining and Constraint Programming, 2016

Extrapolating from Limited Uncertain Information in Large-Scale Combinatorial Optimization Problems to Obtain Robust Solutions.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2016

Increasing task consolidation efficiency by using more accurate resource estimations.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2016

Elastic Solver: Balancing Solution Time and Energy Consumption.

[BibT_eX]

[DOI]

CoRR, 2016

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

[BibT_eX]

[DOI]

Constraints An Int. J., 2016

An Improved Metaheuristic Algorithm for Maximizing Demand Satisfaction in the Population Harvest Cutting Stock Problem.

[BibT_eX]

[DOI]

Richard J. Wallace

Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Comparing tree and chain topologies for designing resilient backhaul access network.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Optical Network Design and Modeling, 2016

Robust Server Consolidation: Coping with Peak Demand Underestimation.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Modeling, 2016

Requests Management for Smartphone-Based Matching Applications Using a Multi-agent Approach.

[BibT_eX]

[DOI]

Gilles Simonin

Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Structure-Preserving Instance Generation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Steven D. Prestwich

Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Learning a Stopping Criterion for Local Search.

[BibT_eX]

[DOI]

Alejandro Arbelaez

Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models.

[BibT_eX]

[DOI]

Anne-Marie George

Nic Wilson

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.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Representative Itemset Mining.

[BibT_eX]

[DOI]

Hong Huang

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Improving Navigation in Critique Graphs.

[BibT_eX]

[DOI]

Begum Genc

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.

[BibT_eX]

[DOI]

Milan De Cauwer

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms.

[BibT_eX]

[DOI]

Alejandro Arbelaez

Charlotte Truchet

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Revisiting Two-Sided Stability Constraints.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Optimizing Energy Costs in a Zinc and Lead Mine.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

A CP-Based Approach for Popular Matching.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Bin Packing with Linear Usage Costs.

[BibT_eX]

[DOI]

CoRR, 2015

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

[BibT_eX]

[DOI]

Constraints An Int. J., 2015

The GENiC Architecture for Integrated Data Centre Energy Management.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

Trichotomic Search for Thermal-Aware Data Centre Workload Optimisation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Steven D. Prestwich

Adejuyigbe O. Fajemisin

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Reliable Networks Design and Modeling, 2015

Computation and Complexity of Preference Inference Based on Hierarchical Models.

[BibT_eX]

[DOI]

Nic Wilson

Anne-Marie George

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

ReACTR: Realtime Algorithm Configuration through Tournament Rankings.

[BibT_eX]

[DOI]

Tadhg Fitzgerald

Yuri Malitsky

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Statistical Regimes and Runtime Prediction.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A scalable approach for computing distance-bounded node-disjoint paths in optical networks.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Transparent Optical Networks, 2015

Large Neighbourhood Search for Energy-Efficient Train Timetabling.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Luis Quesada

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Optimising dual homing for long-reach passive optical networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

Find Your Way Back: Mobility Profile Mining with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2015

Constraint-Based Local Search for Finding Node-Disjoint Bounded-Paths in Optical Access Networks.

[BibT_eX]

[DOI]

Alejandro Arbelaez

Proceedings of the Principles and Practice of Constraint Programming, 2015

An adaptive large neighbourhood search for designing transparent optical core network.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Telecommunications, 2015

On the Minimal Constraint Satisfaction Problem: Complexity and Generation.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2015

Energy cost minimisation of geographically distributed data centres.

[BibT_eX]

[DOI]

Ignacio Castiñeiras

Proceedings of the 4th IEEE International Conference on Cloud Networking, 2015

On Energy- and Cooling-Aware Data Centre Workload Management.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Michela Milano

Martin Sachenbacher

IEEE Trans. Computers, 2014

Analyzing the impact of electricity price forecasting on energy cost-aware scheduling.

[BibT_eX]

[DOI]

Sustain. Comput. Informatics Syst., 2014

Constraints, Optimization and Data (Dagstuhl Seminar 14411).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Transformation-based Feature Computation for Algorithm Portfolios.

[BibT_eX]

[DOI]

CoRR, 2014

Grand challenges for constraint programming.

[BibT_eX]

[DOI]

Constraints An Int. J., 2014

DISCUS: an end-to-end solution for ubiquitous broadband optical access.

[BibT_eX]

[DOI]

Julio Montalvo-Garcia

IEEE Commun. Mag., 2014

Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence.

[BibT_eX]

[DOI]

Michela Milano

Marco Gavanelli

AI Mag., 2014

A Constraint-Based Dental School Timetabling System.

[BibT_eX]

[DOI]

AI Mag., 2014

Computational protein design as an optimization problem.

[BibT_eX]

[DOI]

Artif. Intell., 2014

A Methodology for Online Consolidation of Tasks through More Accurate Resource Estimations.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Latent Features for Algorithm Selection.

[BibT_eX]

[DOI]

Yuri Malitsky

Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014

ReACT: Real-Time Algorithm Configuration through Tournaments.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014

A scalable optimisation approach to minimising IP protection capacity for Long-Reach PON.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Towards the distributed core for ubiquitous superfast broadband optical access.

[BibT_eX]

[DOI]

Julio Montalvo-Garcia

Proceedings of the European Conference on Networks and Communications, 2014

Optimisation for the Ride-Sharing Problem: a Complexity-based Approach.

[BibT_eX]

[DOI]

Gilles Simonin

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Proteus: A Hierarchical Portfolio of Solvers and Transformations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE/ACM International Symposium on Cluster, 2014

Online Search Algorithm Configuration.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Finding small separators in linear time via treewidth reduction.

[BibT_eX]

[DOI]

Dániel Marx

ACM Trans. Algorithms, 2013

The AAAI-13 Conference Workshops.

[BibT_eX]

[DOI]

AI Mag., 2013

Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013

Evolving Instance Specific Algorithm Configuration.

[BibT_eX]

[DOI]

Yuri Malitsky

Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

SNNAP: Solver-Based Nearest Neighbor for Algorithm Portfolios.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2013

Problem Transformations and Algorithm Selection for CSPs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Explanations and Relaxations for Policy Conflicts in Physical Access Control.

[BibT_eX]

[DOI]

Fatih Turkmen

William M. Fitzgerald

Stylianos Basagiannis

Menouer Boubekeur

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Lazy Branching for Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

The Deployment of a Constraint-Based Dental School Timetabling System.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth Innovative Applications of Artificial Intelligence Conference, 2013

A Study of Electricity Price Features on Distributed Internet Data Centers.

[BibT_eX]

[DOI]

Milan De Cauwer

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013

Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres.

[BibT_eX]

[DOI]

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013

Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

Dead-End Elimination for Weighted CSP.

[BibT_eX]

[DOI]

Simon de Givry

Steven D. Prestwich

Proceedings of the Principles and Practice of Constraint Programming, 2013

Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Deployment Strategies for Protected Long-Reach PON.

[BibT_eX]

[DOI]

JOCN, 2012

A shortest path-based approach to the multileaf collimator sequencing problem.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2012

Local search and constraint programming for the post enrolment-based course timetabling problem.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2012

Reports of the AAAI 2011 Conference Workshops.

[BibT_eX]

[DOI]

AI Mag., 2012

Deployment case studies of an energy efficient protected LR-PON architecture.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Optical Network Design and Modelling, 2012

Compiling Domain Consequences.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Adaptation in a CBR-Based Solver Portfolio for the Satisfiability Problem.

[BibT_eX]

[DOI]

Proceedings of the Case-Based Reasoning Research and Development, 2012

What-If Analysis Through Simulation-Optimization Hybrids.

[BibT_eX]

[DOI]

Proceedings of the 26th European Conference on Modelling and Simulation, 2012

Anomaly analysis for Physical Access Control security configuration.

[BibT_eX]

[DOI]

William M. Fitzgerald

Fatih Turkmen

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.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

Where Are the Interesting Problems?

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2012

Comparing Solution Methods for the Machine Reassignment Problem.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2012

Properties of Energy-Price Forecasts for Scheduling.

[BibT_eX]

[DOI]

Georgiana Ifrim

Proceedings of the Principles and Practice of Constraint Programming, 2012

Weibull-Based Benchmarks for Bin Packing.

[BibT_eX]

[DOI]

Ignacio Castiñeiras

Milan De Cauwer

Proceedings of the Principles and Practice of Constraint Programming, 2012

Opportunities and Challenges for Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Case-Based Reasoning for Autonomous Constraint Solving.

[BibT_eX]

[DOI]

Derek Bridge

Proceedings of the Autonomous Search, 2012

2011

Soft Constraints of Difference and Equality.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2011

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

[BibT_eX]

[DOI]

Luc De Raedt

Siegfried Nijssen

Pascal Van Hentenryck

Dagstuhl Reports, 2011

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

[BibT_eX]

[DOI]

CoRR, 2011

Domino portrait generation: a fast and scalable approach.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2011

Reasoning about conditional constraint specification problems and feature models.

[BibT_eX]

[DOI]

Raphael A. Finkel

Artif. Intell. Eng. Des. Anal. Manuf., 2011

Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences.

[BibT_eX]

[DOI]

Emanuele Di Rosa

Enrico Giunchiglia

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

An Introduction to Constraint Programming and Combinatorial Optimisation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Designing Resilient Long-Reach Passive Optical Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Conference on Innovative Applications of Artificial Intelligence, 2011

Almost Square Packing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Luis Quesada

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.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2010

Developing Approaches for Solving a Telecommunications Feature Subscription Problem.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2010

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

[BibT_eX]

[DOI]

Constraints An Int. J., 2010

Aggregating Trust Using Triangular Norms in the KeyNote Trust Management System.

[BibT_eX]

[DOI]

Wayne Mac Adams

Proceedings of the Security and Trust Management - 6th International Workshop, 2010

Treewidth Reduction for Constrained Separation and Bipartization Problems.

[BibT_eX]

[DOI]

Dániel Marx

Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

Preferred Explanations for Quantified Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Luis Quesada

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Data Mining for Biodiversity Prediction in Forests.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Improving the Global Constraint SoftPrec.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Knowledge Compilation for Itemset Mining.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Constraint Programming and Combinatorial Optimisation in Numberjack.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Propagating the Bin Packing Constraint Using Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Automated Modelling and Solving in Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Almost 2-SAT is fixed-parameter tractable.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2009

Generating All Partitions: A Comparison Of Two Encodings

[BibT_eX]

[DOI]

CoRR, 2009

A constraint-based approach to Enigma 1225.

[BibT_eX]

[DOI]

Barbara M. Smith

Comput. Math. Appl., 2009

Uncovering functional dependencies in MDD-compiled product catalogues.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Conference on Recommender Systems, 2009

A Soft Global Precedence Constraint.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Functional Dependencies in MDD-Compiled Product Catalogues.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

John Horan

Proceedings of the ICTAI 2009, 2009

Enhanced Inference for the Market Split Problem.

[BibT_eX]

[DOI]

Proceedings of the ICTAI 2009, 2009

Reasoning about Conditional Constraint Specifications.

[BibT_eX]

[DOI]

Raphael A. Finkel

Proceedings of the ICTAI 2009, 2009

Preferential Attachment in Constraint Networks.

[BibT_eX]

[DOI]

David Devlin

Proceedings of the ICTAI 2009, 2009

An Analysis of Lamarckian Learning in Changing Environments.

[BibT_eX]

[DOI]

Dara Curran

Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

Compiling All Possible Conflicts of a CSP.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

Search Space Extraction.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

Constraints of Difference and Equality: A Complete Taxonomic Characterisation.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

Reasoning about Optimal Collections of Solutions.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

Minimising Decision Tree Size as Combinatorial Optimisation.

[BibT_eX]

[DOI]

Christian Bessiere

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

A fixed-parameter algorithm for the directed feedback vertex set problem.

[BibT_eX]

[DOI]

J. ACM, 2008

A Unifying Framework for Generalized Constraint Acquisition.

[BibT_eX]

[DOI]

Xuan-Ha Vu

Int. J. Artif. Intell. Tools, 2008

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

[BibT_eX]

[DOI]

Constraints An Int. J., 2008

Critique graphs for catalogue navigation.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Conference on Recommender Systems, 2008

Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Layer Compression in Decision Diagrams.

[BibT_eX]

[DOI]

Esben Rune Hansen

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

A BDD Approach to the Feature Subscription Problem.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

From Marriages to Coalitions: A Soft CSP Approach.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2008

Fast and Scalable Domino Portrait Generation.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

Search Strategies for Rectangle Packing.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

Relaxations for Compiled Over-Constrained Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

Solving a Telecommunications Feature Subscription Configuration Problem.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

A Soft Constraint of Equality: Complexity and Approximability.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

Approximate Compilation of Constraints into Multivalued Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

Reformulating Positive Table Constraints Using Functional Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

Personalisation of Telecommunications Services as Combinatorial Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

A Hybrid Approach to Domino Portrait Generation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Configuration.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2007

AAAI-07 Workshop Reports.

[BibT_eX]

[DOI]

AI Mag., 2007

Generalized Constraint Acquisition.

[BibT_eX]

[DOI]

Xuan-Ha Vu

Proceedings of the Abstraction, 2007

A Reformulation-Based Approach to Explanation in Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2007

Truthful Risk-Managed Combinatorial Auctions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Distance Constraints in Constraint Satisfaction.

[BibT_eX]

[DOI]

Toby Walsh

Proceedings of the IJCAI 2007, 2007

Quantified Constraint Satisfaction Problems: From Relaxations to Explanations.

[BibT_eX]

[DOI]

Alex Ferguson

Proceedings of the IJCAI 2007, 2007

Query-Driven Constraint Acquisition.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Semiring-Based Constraint Acquisition.

[BibT_eX]

[DOI]

Xuan-Ha Vu

Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

Search Ordering Heuristics for Restarts-Based Constraint Solving.

[BibT_eX]

[DOI]

Margarita Razgon

Gregory M. Provan

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Directed Feedback Vertex Set is Fixed-Parameter Tractable.

[BibT_eX]

[DOI]

Proceedings of the Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs, 08.07., 2007

Generalizing Global Constraints Based on Network Flows.

[BibT_eX]

[DOI]

Gregory M. Provan

Proceedings of the Recent Advances in Constraints, 2007

Constraint Symmetry for the Soft CSP.

[BibT_eX]

[DOI]

Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2007

Representative Explanations for Over-Constrained Problems.

[BibT_eX]

[DOI]

Boi Faltings

Pearl Pu

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Generating and Solving Logic Puzzles through Constraint Satisfaction.

[BibT_eX]

[DOI]

John Horan

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Multilevel Security and Quality of Protection.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Peter van Beek

Constraints An Int. J., 2006

The Impact of Search Heuristics on Heavy-Tailed Behaviour.

[BibT_eX]

[DOI]

Constraints An Int. J., 2006

Special Issue: Constraints and design.

[BibT_eX]

[DOI]

Artif. Intell. Eng. Des. Anal. Manuf., 2006

Special track editorial: constraint solving and programming.

[BibT_eX]

[DOI]

Éric Monfroy

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration.

[BibT_eX]

[DOI]

William M. Fitzgerald

Mícheál Ó Foghlú

Proceedings of the Autonomic Principles of IP Operations and Management, 2006

Guiding Search Using Constraint-Level Advice.

[BibT_eX]

[DOI]

Radoslaw Szymanek

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2006

Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2006

Failure Analysis in Backtrack Search for Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2006

Relaxations and Explanations for Quantified Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Alex Ferguson

Proceedings of the Principles and Practice of Constraint Programming, 2006

Approximate Compilation for Embedded Model-based Reasoning.

[BibT_eX]

[DOI]

Gregory M. Provan

Proceedings of the Proceedings, 2006

Acquiring Constraint Networks Using a SAT-based Version Space Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

A soft constraint-based approach to the cascade vulnerability problem.

[BibT_eX]

[DOI]

J. Comput. Secur., 2005

Robust solutions for combinatorial auctions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), 2005

Timid acquisition of constraint satisfaction problems.

[BibT_eX]

[DOI]

Sarah O'Connell

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Editorial: special track on constraint solving and programming.

[BibT_eX]

[DOI]

Éric Monfroy

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Corrective Explanation for Interactive Constraint Satisfaction.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning: ECML 2005, 2005

Generating Corrective Explanations for Interactive Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

Search Heuristics and Heavy-Tailed Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

Building Reactive Characters for Dynamic Gaming Environments.

[BibT_eX]

[DOI]

Peter Blackburn

Proceedings of the 2005 IEEE Symposium on Computational Intelligence and Games (CIG05), 2005

Weighted Super Solutions for Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

Finding Diverse and Similar Solutions in Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

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

[BibT_eX]

[DOI]

Constraints An Int. J., 2004

Towards Fast Vickrey Pricing using Constraint Programming.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2004

Modeling and detecting the cascade vulnerability problem using soft constraints.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Evaluation-Based Semiring Meta-constraints.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

Reasoning about Secure Interoperation Using Soft Constraints.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Applied Artificial Intelligence, 2004

Boosting Constraint Satisfaction Using Decision Trees.

[BibT_eX]

[DOI]

Alex Ferguson

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.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Super Solutions for Combinatorial Auctions.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2004

Leveraging the Learning Power of Examples in Automated Constraint Acquisition.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints.

[BibT_eX]

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Constraint Acquisition as Semi-Automatic Modeling.

[BibT_eX]

[DOI]

Proceedings of the Research and Development in Intelligent Systems XX, 2003

A Theoretical Framework for Tradeoff Generation using Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the Research and Development in Intelligent Systems XX, 2003

Symmetry Breaking in Soft CSPs.

[BibT_eX]

[DOI]

Proceedings of the Research and Development in Intelligent Systems XX, 2003

Creating personalized documents: an optimization approach.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Document Engineering, 2003

Tradeoff Generation Using Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2003

Teacher and Learner Profiles for Constraint Acquisition.

[BibT_eX]

[DOI]

Sarah O'Connell

Proceedings of the Principles and Practice of Constraint Programming, 2003

Useful Explanations.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

Optimising the Representation and Evaluation of Semiring Combination Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

A Constraint-Aided Conceptual Design Environment for Autodesk Inventor.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

Algorithmic Mechanism Design and Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

Interactive Tradeoff Generation.

[BibT_eX]

[DOI]

Moyra Duggan

Proceedings of the Principles and Practice of Constraint Programming, 2003

Semi-automatic Modeling by Constraint Acquisition.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Interactive constraint-aided conceptual design.

[BibT_eX]

[DOI]

Artif. Intell. Eng. Des. Anal. Manuf., 2002

Constraint-Aided Conceptual Design.

[BibT_eX]

[DOI]

Engineering research series, Wiley, ISBN: 978-1-86058-335-3, 2002

2001

Generating Tradeoffs for Interactive Constraint-Based Configuration.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

1998

A Constraint-Based Approach to Supporting Conceptual Design.

[BibT_eX]

[DOI]