J. Christopher Beck

According to our database1, J. Christopher Beck authored at least 150 papers between 1997 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Invited Speakers.
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
Introduction.
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


  Loading...