2024
Computing Bipath Multicommodity Flows with Constraint Programming-Based Branch-and-Price-and-Cut.
INFORMS J. Comput., 2024
Determining pre-procedure fasting alert time using procedural and scheduling data.
Health Informatics J., 2024
Domain-Independent Dynamic Programming.
CoRR, 2024
Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming.
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024
Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning.
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024
PRP Rebooted: Advancing the State of the Art in FOND Planning.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
Parallel Beam Search Algorithms for Domain-Independent Dynamic Programming.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Objective-Based Counterfactual Explanations for Linear Discrete Optimization.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023
Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities.
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
Large Neighborhood Beam Search for Domain-Independent Dynamic Programming.
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
The Multi-Commodity Flow Problem with Disjoint Signaling Paths: A Branch-and-Benders-Cut Algorithm.
Proceedings of the 9th International Conference on Control, 2023
Symmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Solving Domain-Independent Dynamic Programming Problems with Anytime Heuristic Search.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Privacy Attacks on Schedule-Driven Data.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
A combinatorial cut-and-lift procedure with an application to 0-1 second-order conic programming.
Math. Program., 2022
The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions.
J. Artif. Intell. Res., 2022
Decision Diagrams for Discrete Optimization: A Survey of Recent Advances.
INFORMS J. Comput., 2022
Exploiting Hardware and Software Advances for Quadratic Models of Wind Farm Layout Optimization.
IEEE Access, 2022
Model-Based Approaches to Multi-attribute Diverse Matching.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022
Packing by Scheduling: Using Constraint Programming to Solve a Complex 2D Cutting Stock Problem.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022
Solving Job-Shop Scheduling Problems with QUBO-Based Specialized Hardware.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
LM-Cut Heuristics for Optimal Linear Numeric Planning.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Biased Exploration for Satisficing Heuristic Search.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
2021
Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021
Counterfactual Explanations for Optimization-Based Decisions in the Context of the GDPR.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021
Counterfactual Explanations via Inverse Constraint Programming.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
LM-cut and Operator Counting Heuristics for Optimal Numeric Planning with Simple Conditions.
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021
2020
Target Search on Road Networks With Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles.
IEEE Robotics Autom. Lett., 2020
Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics.
J. Artif. Intell. Res., 2020
An MDD-Based Lagrangian Approach to the Multicommodity Pickup-and-Delivery TSP.
INFORMS J. Comput., 2020
CP and Hybrid Models for Two-Stage Batching and Scheduling.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
An Ising Framework for Constrained Clustering on Special Purpose Hardware.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
2019
Autonomous Target Search with Multiple Coordinated UAVs.
J. Artif. Intell. Res., 2019
Towards an ontology for generative design of mechanical assemblies.
Appl. Ontology, 2019
Empirical Analysis of Beam Search Performance Degradation in Neural Sequence Models.
Proceedings of the 36th International Conference on Machine Learning, 2019
A Constraint Programming Approach to Electric Vehicle Routing with Time Windows.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019
Training Binarized Neural Networks Using MIP and CP.
Proceedings of the Principles and Practice of Constraint Programming, 2019
Learning Scheduling Models from Event Data.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
Relaxed BDDs: An Admissible Heuristic for Delete-Free Planning Based on a Discrete Relaxation.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
Congestion Graphs for Automated Time Predictions.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
Efficient Temporal Planning Using Metastates.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Multi-stage resource-aware scheduling for data centers with heterogeneous servers.
J. Sched., 2018
Planning and Operations Research (Dagstuhl Seminar 18071).
Dagstuhl Reports, 2018
Intruder alert! Optimization models for solving the mobile robot graph-clear problem.
Constraints An Int. J., 2018
Local Minima, Heavy Tails, and Search Effort for GBFS.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Modelling and Solving the Senior Transportation Problem.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018
Compiling Optimal Numeric Planning to Mixed Integer Linear Programming.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Linear and Integer Programming-Based Heuristics for Cost-Optimal Numeric Planning.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
Fat- and Heavy-Tailed Behavior in Satisficing Planning.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots.
J. Artif. Intell. Res., 2017
Robots in Retirement Homes: Person Search and Task Planning for a Group of Residents by a Team of Assistive Robots.
IEEE Intell. Syst., 2017
Cost-Based Heuristics and Node Re-Expansions across the Phase Transition.
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017
(I Can Get) Satisfaction: Preference-Based Scheduling for Concert-Goers at Multi-venue Music Festivals.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017
Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
A virtual marketplace for goods and services for people with social needs.
Proceedings of the IEEE Canada International Humanitarian Technology Conference, 2017
Knowledge-Based Provisioning of Goods and Services: Towards a Virtual Social Needs Marketplace.
Proceedings of the 2017 AAAI Spring Symposia, 2017
Knowledge-Based Provision of Goods and Services for People with Social Needs: Towards a Virtual Marketplace.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017
Problem Difficulty and the Phase Transition in Heuristic Search.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning.
IEEE Robotics Autom. Lett., 2016
Optimal Partial-Order Plan Relaxation via MaxSAT.
J. Artif. Intell. Res., 2016
Decomposition Methods for the Parallel Machine Scheduling Problem with Setups.
INFORMS J. Comput., 2016
Mixed Integer Programming models for job shop scheduling: A computational analysis.
Comput. Oper. Res., 2016
ℚ-bounds consistency for the spread constraint with variable mean.
Constraints An Int. J., 2016
A Hybrid Quantum-Classical Approach to Solving Scheduling Problems.
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016
Using Metric Temporal Logic to Specify Scheduling Problems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Decomposition Methods for the Travelling Purchaser Problem.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016
Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Logic-Based Decomposition Methods for the Travelling Purchaser Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016
Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2016
A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes.
Proceedings of the Principles and Practice of Constraint Programming, 2016
Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem.
Proceedings of the Planning for Hybrid Systems, 2016
2015
A two-stage coupled algorithm for an integrated maintenance planning and flowshop scheduling problem with deteriorating machines.
J. Sched., 2015
Reports from the 2015 AAAI Workshop Program.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
AI Mag., 2015
Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015
The Implementation of a Planning and Scheduling Architecture for Multiple Robots Assisting Multiple Users in a Retirement Home Setting.
Proceedings of the Artificial Intelligence Applied to Assistive Technologies and Smart Environments, 2015
2014
Integrating Queueing Theory and Scheduling for Dynamic Scheduling Problems.
J. Artif. Intell. Res., 2014
Solving wind farm layout optimization with mixed integer programs and constraint programs.
EURO J. Comput. Optim., 2014
An autonomous assistive robot for planning, scheduling and facilitating multi-user activities.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014
A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014
CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2014
2013
itSIMPLE: towards an integrated design system for real planning applications.
Knowl. Eng. Rev., 2013
Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources.
J. Artif. Intell. Res., 2013
Post-design analysis for building and refining AI planning systems.
Eng. Appl. Artif. Intell., 2013
Introduction to the special issue on constraint modelling and reformulation.
Constraints An Int. J., 2013
Using dual presolving reductions to reformulate cumulative constraints.
Constraints An Int. J., 2013
Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013
Modeling, Global Constraints, and Decomposition.
Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013
Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing Operators.
Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013
Flexible Execution of Partial Order Plans With Temporal Constraints.
Proceedings of the IJCAI 2013, 2013
Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013
Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013
Hybrid Queueing Theory and Scheduling Models for Dynamic Environments with Sequence-Dependent Setup Times.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013
2012
Recommendations for an Undergraduate Curriculum at the Interface of Operations Research and Computer Science.
INFORMS Trans. Educ., 2012
Using Logic-Based Benders Decomposition to Solve the Capacity- and Distance-Constrained Plant Location Problem.
INFORMS J. Comput., 2012
Solving two-machine assembly scheduling problems with inventory constraints.
Comput. Ind. Eng., 2012
A negotiation framework for linked combinatorial optimization problems.
Auton. Agents Multi Agent Syst., 2012
Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups.
Proceedings of the ECAI 2012, 2012
Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling.
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012
Long-Run Stability in Dynamic Scheduling.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Optimally Relaxing Partial-Order Plans with MaxSAT.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Improved Non-Deterministic Planning by Exploiting State Relevance.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Planning Modulo Theories: Extending the Planning Paradigm.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Dsharp: Fast d-DNNF Compilation with sharpSAT.
Proceedings of the Advances in Artificial Intelligence, 2012
Macro Learning in Planning as Parameter Configuration.
Proceedings of the Advances in Artificial Intelligence, 2012
2011
Understanding the behavior of Solution-Guided Search for job-shop scheduling.
J. Sched., 2011
Combining Constraint Programming and Local Search for Job-Shop Scheduling.
INFORMS J. Comput., 2011
A global constraint for total weighted completion time for unary resources.
Constraints An Int. J., 2011
Monitoring the Execution of Partial-Order Plans via Regression.
Proceedings of the IJCAI 2011, 2011
Scheduling an Aircraft Repair Shop.
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011
2010
SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation.
AI Mag., 2010
Checking-Up on Branch-and-Check.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
Fast d-DNNF Compilation with sharpSAT.
Proceedings of the Abstraction, 2010
2009
A theoretic and practical framework for scheduling in a stochastic environment.
J. Sched., 2009
Principles for the Design of Large Neighborhood Search.
J. Math. Model. Algorithms, 2009
A Constraint Programming Approach for Solving a Queueing Design and Control Problem.
INFORMS J. Comput., 2009
An extended queueing control model for facilities with front room and back room operations and mixed-skilled workers.
Eur. J. Oper. Res., 2009
Scheduling with uncertain durations: Modeling beta-robust scheduling with constraints.
Comput. Oper. Res., 2009
Introduction to the special volume on constraint programming, artificial intelligence, and operations research.
Ann. Oper. Res., 2009
Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition.
Proceedings of the Principles and Practice of Constraint Programming, 2009
2008
A Constraint Programming Approach for Solving a Queueing Control Problem.
J. Artif. Intell. Res., 2008
A Space-Efficient Backtrack-Free Representation for Constraint Satisfaction Problems.
Int. J. Artif. Intell. Tools, 2008
A global constraint for total weighted completion time for cumulative resources.
Eng. Appl. Artif. Intell., 2008
A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview.
Proceedings of the Principles and Practice of Constraint Programming, 2008
2007
Managing restaurant tables using constraints.
Knowl. Based Syst., 2007
Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations.
J. Artif. Intell. Res., 2007
Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling.
J. Artif. Intell. Res., 2007
What's Your Problem? The Problem of Problem Definition.
Proceedings of the Abstraction, 2007
A General Framework for Scheduling in a Stochastic Environment.
Proceedings of the IJCAI 2007, 2007
Solving a Stochastic Queueing Control Problem with Constraint Programming.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007
A Global Constraint for Total Weighted Completion Time.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007
Solving a Stochastic Queueing Design and Control Problem with Constraint Programming.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
A case study of mutual routing-scheduling reformulation.
J. Sched., 2006
An Empirical Study of Multi-Point Constructive Search for Constraint-Based Scheduling.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006
2005
Applying Machine Learning to Low-Knowledge Control of Optimization Algorithms.
Comput. Intell., 2005
Learning Abstract Scheduling Models.
Proceedings of the Abstraction, 2005
Proactive Algorithms for Scheduling with Probabilistic Durations.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Scheduling with Uncertain Start Dates.
Proceedings of the Principles and Practice of Constraint Programming, 2005
Robust Constraint Solving Using Multiple Heuristics.
Proceedings of the Principles and Practice of Constraint Programming, 2005
Methods to Learn Abstract Scheduling Models.
Proceedings of the Principles and Practice of Constraint Programming, 2005
Multi-point Constructive Search.
Proceedings of the Principles and Practice of Constraint Programming, 2005
2004
Job Shop Scheduling with Probabilistic Durations.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Failing First: An Update.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Trying Again to Fail-First.
Proceedings of the Recent Advances in Constraints, 2004
Simple Rules for Low-Knowledge Algorithm Selection.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004
Variable Ordering Heuristics Show Promise.
Proceedings of the Principles and Practice of Constraint Programming, 2004
Backtrack-Free Search for Real-Time Constraint Satisfaction.
Proceedings of the Principles and Practice of Constraint Programming, 2004
Low-Knowledge Algorithm Control.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
A Hybrid Approach to Scheduling with Earliness and Tardiness Costs.
Ann. Oper. Res., 2003
Problem difficulty for tabu search in job-shop scheduling.
Artif. Intell., 2003
Vehicle Routing and Job Shop Scheduling: What's the Difference?
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003
2002
On the Reformulation of Vehicle Routing Problems and Scheduling Problems.
Proceedings of the Abstraction, 2002
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems.
Proceedings of the Graph Transformation, First International Conference, 2002
2000
Constraints An Int. J., 2000
Constraint-directed techniques for scheduling alternative activities.
Artif. Intell., 2000
Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics.
Artif. Intell., 2000
Heuristics for Constraint-Directed Scheduling with Inventory.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000
1999
Texture measurements as a basis for heuristic commitment techniques in constraint-directed scheduling.
PhD thesis, 1999
Scheduling Alternative Activities.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999
1998
A Generic Framework for Constraint-Directed Search and Scheduling.
AI Mag., 1998
1997
Five Pitfalls of Empirical Scheduling Research.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997
Texture-Based Heuristics for Scheduling Revisited.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997
Beyond Contention: Extending Texture-Based Scheduling Heuristics.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997