J. Christopher Beck

According to our database, J. Christopher Beck authored at least 168 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Determining pre-procedure fasting alert time using procedural and scheduling data.

Litong Zheng, J. Christopher Beck, Sebastian Mafeld, Matteo Parotto, Amanda Matthews, Sheryl Alexandre, Aaron Conway

Health Informatics J., 2024

Domain-Independent Dynamic Programming.

Ryo Kuroiwa, J. Christopher Beck

CoRR, 2024

Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming.

Jiachen Zhang, J. Christopher Beck

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning.

Adam Francis Green, J. Christopher Beck, Amanda Jane Coles

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.

Christian Muise, Sheila A. McIlraith, J. Christopher Beck

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Parallel Beam Search Algorithms for Domain-Independent Dynamic Programming.

Ryo Kuroiwa, J. Christopher Beck

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning.

Ryo Kuroiwa, Alexander Shleyfman, J. Christopher Beck

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.

Anton Korikov, J. Christopher Beck

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

Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities.

Arnoosh Golestanian, Giovanni Lo Bianco, Chengyu Tao, J. Christopher Beck

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

Large Neighborhood Beam Search for Domain-Independent Dynamic Programming.

Ryo Kuroiwa, J. Christopher Beck

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.

Jiachen Zhang, Youcef Magnouche, Sébastien Martin, Antoine Fressancourt, J. Christopher Beck

Proceedings of the 9th International Conference on Control, 2023

Symmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning.

Alexander Shleyfman, Ryo Kuroiwa, J. Christopher Beck

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Solving Domain-Independent Dynamic Programming Problems with Anytime Heuristic Search.

Ryo Kuroiwa, J. Christopher Beck

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization.

Ryo Kuroiwa, J. Christopher Beck

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Privacy Attacks on Schedule-Driven Data.

Stephan A. Fahrenkrog-Petersen, Arik Senderovich, Alexandra Tichauer, Ali Kaan Tutak, J. Christopher Beck, Matthias Weidlich

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.

Margarita P. Castro, André Augusto Ciré, J. Christopher Beck

Math. Program., 2022

The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions.

Ryo Kuroiwa, Alexander Shleyfman, Chiara Piacentini, Margarita P. Castro, J. Christopher Beck

J. Artif. Intell. Res., 2022

Decision Diagrams for Discrete Optimization: A Survey of Recent Advances.

Margarita P. Castro, André Augusto Ciré, J. Christopher Beck

INFORMS J. Comput., 2022

Exploiting Hardware and Software Advances for Quadratic Models of Wind Farm Layout Optimization.

Arik Senderovich, Jiachen Zhang, Eldan Cohen, J. Christopher Beck

IEEE Access, 2022

Model-Based Approaches to Multi-attribute Diverse Matching.

Jiachen Zhang, Giovanni Lo Bianco, J. Christopher Beck

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.

Yiqing L. Luo, J. Christopher Beck

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

Solving Job-Shop Scheduling Problems with QUBO-Based Specialized Hardware.

Jiachen Zhang, Giovanni Lo Bianco, J. Christopher Beck

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

LM-Cut Heuristics for Optimal Linear Numeric Planning.

Ryo Kuroiwa, Alexander Shleyfman, J. Christopher Beck

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Biased Exploration for Satisficing Heuristic Search.

Ryo Kuroiwa, J. Christopher Beck

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks.

Shane Bergsma, Timothy Zeyl, Arik Senderovich, J. Christopher Beck

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.

Anton Korikov, Alexander Shleyfman, J. Christopher Beck

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding.

Eldan Cohen, J. Christopher Beck

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

Counterfactual Explanations via Inverse Constraint Programming.

Anton Korikov, J. Christopher Beck

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.

Ryo Kuroiwa, Alexander Shleyfman, Chiara Piacentini, Margarita P. Castro, J. Christopher Beck

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.

Kyle E. C. Booth, Chiara Piacentini, Sara Bernardini, J. Christopher Beck

IEEE Robotics Autom. Lett., 2020

Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics.

Margarita P. Castro, Chiara Piacentini, André Augusto Ciré, J. Christopher Beck

J. Artif. Intell. Res., 2020

An MDD-Based Lagrangian Approach to the Multicommodity Pickup-and-Delivery TSP.

Margarita P. Castro, André Augusto Ciré, J. Christopher Beck

INFORMS J. Comput., 2020

CP and Hybrid Models for Two-Stage Batching and Scheduling.

Tanya Y. Tang, J. Christopher Beck

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

An Ising Framework for Constrained Clustering on Special Purpose Hardware.

Eldan Cohen, Arik Senderovich, J. Christopher Beck

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

2019

Autonomous Target Search with Multiple Coordinated UAVs.

Chiara Piacentini, Sara Bernardini, J. Christopher Beck

J. Artif. Intell. Res., 2019

Towards an ontology for generative design of mechanical assemblies.

Bahar Aameri, Hyunmin Cheong, J. Christopher Beck

Appl. Ontology, 2019

Empirical Analysis of Beam Search Performance Degradation in Neural Sequence Models.

Eldan Cohen, J. Christopher Beck

Proceedings of the 36th International Conference on Machine Learning, 2019

A Constraint Programming Approach to Electric Vehicle Routing with Time Windows.

Kyle E. C. Booth, J. Christopher Beck

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

Training Binarized Neural Networks Using MIP and CP.

Rodrigo Toro Icarte, León Illanes, Margarita P. Castro, André A. Ciré, Sheila A. McIlraith, J. Christopher Beck

Proceedings of the Principles and Practice of Constraint Programming, 2019

Learning Scheduling Models from Event Data.

Arik Senderovich, Kyle E. C. Booth, J. Christopher Beck

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.

Margarita P. Castro, Chiara Piacentini, André A. Ciré, J. Christopher Beck

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Congestion Graphs for Automated Time Predictions.

Arik Senderovich, J. Christopher Beck, Avigdor Gal, Matthias Weidlich

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Efficient Temporal Planning Using Metastates.

Amanda Jane Coles, Andrew Coles, J. Christopher Beck

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Multi-stage resource-aware scheduling for data centers with heterogeneous servers.

Tony T. Tran, Meghana Padmanabhan, Peter Yun Zhang, Heyse Li, Douglas G. Down, J. Christopher Beck

J. Sched., 2018

Planning and Operations Research (Dagstuhl Seminar 18071).

J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan van Hoeve

Dagstuhl Reports, 2018

Intruder alert! Optimization models for solving the mobile robot graph-clear problem.

Michael Morin, Margarita P. Castro, Kyle E. C. Booth, Tony T. Tran, Chang Liu, J. Christopher Beck

Constraints An Int. J., 2018

Local Minima, Heavy Tails, and Search Effort for GBFS.

Eldan Cohen, J. Christopher Beck

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Modelling and Solving the Senior Transportation Problem.

Chang Liu, Dionne M. Aleman, J. Christopher Beck

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

Compiling Optimal Numeric Planning to Mixed Integer Linear Programming.

Chiara Piacentini, Margarita P. Castro, André Augusto Ciré, J. Christopher Beck

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.

Kyle E. C. Booth, Minh Do, J. Christopher Beck, Eleanor Gilbert Rieffel, Davide Venturelli, Jeremy Frank

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Linear and Integer Programming-Based Heuristics for Cost-Optimal Numeric Planning.

Chiara Piacentini, Margarita P. Castro, André Augusto Ciré, J. Christopher Beck

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Fat- and Heavy-Tailed Behavior in Satisficing Planning.

Eldan Cohen, J. Christopher Beck

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.

Tony T. Tran, Tiago Stegun Vaquero, Goldie Nejat, J. Christopher Beck

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.

Kyle E. C. Booth, Sharaf Christopher Mohamed, Sanjif Rajaratnam, Goldie Nejat, J. Christopher Beck

IEEE Intell. Syst., 2017

Cost-Based Heuristics and Node Re-Expansions across the Phase Transition.

Eldan Cohen, J. Christopher Beck

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.

Eldan Cohen, Guoyu Huang, J. Christopher Beck

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

Tony T. Tran, Tiago Stegun Vaquero, Goldie Nejat, J. Christopher Beck

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

A virtual marketplace for goods and services for people with social needs.

Daniela Rosu, Dionne M. Aleman, J. Christopher Beck, Mark H. Chignell, Mariano P. Consens, Mark S. Fox, Michael Gruninger, Chang Liu, Yi Ru, Scott Sanner

Proceedings of the IEEE Canada International Humanitarian Technology Conference, 2017

Knowledge-Based Provisioning of Goods and Services: Towards a Virtual Social Needs Marketplace.

Daniela Rosu, Dionne M. Aleman, J. Christopher Beck, Mark H. Chignell, Mariano P. Consens, Mark S. Fox, Michael Gruninger, Chang Liu, Yi Ru, Scott Sanner

Proceedings of the 2017 AAAI Spring Symposia, 2017

Knowledge-Based Provision of Goods and Services for People with Social Needs: Towards a Virtual Marketplace.

Daniela Rosu, Dionne M. Aleman, J. Christopher Beck, Mark H. Chignell, Mariano P. Consens, Mark S. Fox, Michael Gruninger, Chang Liu, Yi Ru, Scott Sanner

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

Problem Difficulty and the Phase Transition in Heuristic Search.

Eldan Cohen, J. Christopher Beck

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

2016

Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning.

Kyle E. C. Booth, Tony T. Tran, Goldie Nejat, J. Christopher Beck

IEEE Robotics Autom. Lett., 2016

Optimal Partial-Order Plan Relaxation via MaxSAT.

Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith

J. Artif. Intell. Res., 2016

Decomposition Methods for the Parallel Machine Scheduling Problem with Setups.

Tony T. Tran, Arthur Araujo, J. Christopher Beck

INFORMS J. Comput., 2016

Mixed Integer Programming models for job shop scheduling: A computational analysis.

Wen-Yang Ku, J. Christopher Beck

Comput. Oper. Res., 2016

ℚ-bounds consistency for the spread constraint with variable mean.

Chee Loong Soon, Wen-Yang Ku, J. Christopher Beck

Constraints An Int. J., 2016

A Hybrid Quantum-Classical Approach to Solving Scheduling Problems.

Tony T. Tran, Minh Do, Eleanor Gilbert Rieffel, Jeremy Frank, Zhihui Wang, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck

Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Using Metric Temporal Logic to Specify Scheduling Problems.

Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Decomposition Methods for the Travelling Purchaser Problem.

Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility.

Buser Say, André A. Ciré, J. Christopher Beck

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.

Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck

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

Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems.

Wen-Yang Ku, J. Christopher Beck

Proceedings of the Principles and Practice of Constraint Programming, 2016

A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes.

Kyle E. C. Booth, Goldie Nejat, J. Christopher Beck

Proceedings of the Principles and Practice of Constraint Programming, 2016

Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem.

Tony T. Tran, Zhihui Wang, Minh Do, Eleanor Gilbert Rieffel, Jeremy Frank, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck

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.

Maliheh Aramon Bajestani, J. Christopher Beck

J. Sched., 2015

Reports from the 2015 AAAI Workshop Program.

Stefano V. Albrecht, J. Christopher Beck, David L. Buckeridge, Adi Botea, Cornelia Caragea, Chi-Hung Chi, Theodoros Damoulas, Bistra Dilkina, Eric Eaton, Pooyan Fazli, Sam Ganzfried, Marius Lindauer, Marlos C. Machado, Yuri Malitsky, Gary Marcus, Sebastiaan A. Meijer, Francesca Rossi, Arash Shaban-Nejad, Sylvie Thiébaux, Manuela M. Veloso, Toby Walsh, Can Wang, Jie Zhang, Yu Zheng

AI Mag., 2015

Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem.

Wen-Yang Ku, J. Christopher Beck

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.

Tiago Stegun Vaquero, Sharaf Christopher Mohamed, Goldie Nejat, J. Christopher Beck

Proceedings of the Artificial Intelligence Applied to Assistive Technologies and Smart Environments, 2015

2014

Integrating Queueing Theory and Scheduling for Dynamic Scheduling Problems.

Daria Terekhov, Tony T. Tran, Douglas G. Down, J. Christopher Beck

J. Artif. Intell. Res., 2014

Solving wind farm layout optimization with mixed integer programs and constraint programs.

Peter Y. Zhang, David A. Romero, J. Christopher Beck, Cristina H. Amon

EURO J. Comput. Optim., 2014

An autonomous assistive robot for planning, scheduling and facilitating multi-user activities.

Wing-Yue Geoffrey Louie, Tiago Stegun Vaquero, Goldie Nejat, J. Christopher Beck

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.

Wen-Yang Ku, J. Christopher Beck

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.

Sebastian Kosch, J. Christopher Beck

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.

Wen-Yang Ku, Thiago Pinheiro, J. Christopher Beck

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

itSIMPLE: towards an integrated design system for real planning applications.

Tiago Stegun Vaquero, José Reinaldo Silva, Flavio Tonidandel, J. Christopher Beck

Knowl. Eng. Rev., 2013

Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources.

Maliheh Aramon Bajestani, J. Christopher Beck

J. Artif. Intell. Res., 2013

Post-design analysis for building and refining AI planning systems.

Tiago Stegun Vaquero, José Reinaldo Silva, J. Christopher Beck

Eng. Appl. Artif. Intell., 2013

Introduction to the special issue on constraint modelling and reformulation.

Andrea Rendl, J. Christopher Beck

Constraints An Int. J., 2013

Using dual presolving reductions to reformulate cumulative constraints.

Stefan Heinz, Jens Schulz, J. Christopher Beck

Constraints An Int. J., 2013

Invited Speakers.

J. Christopher Beck, Gene Cooperman

Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

Modeling, Global Constraints, and Decomposition.

J. Christopher Beck

Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing Operators.

Maher A. Alhossaini, J. Christopher Beck

Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

Flexible Execution of Partial Order Plans With Temporal Constraints.

Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith

Proceedings of the IJCAI 2013, 2013

Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming.

Peter Y. Zhang, David A. Romero, J. Christopher Beck, Cristina H. Amon

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.

Stefan Heinz, Wen-Yang Ku, J. Christopher Beck

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.

Tony T. Tran, Daria Terekhov, Douglas G. Down, J. Christopher Beck

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.

Jill R. Hardin, Allen Holder, J. Christopher Beck, Kevin C. Furman, Arthur Hanna, David J. Rader Jr., César Rego

INFORMS Trans. Educ., 2012

Using Logic-Based Benders Decomposition to Solve the Capacity- and Distance-Constrained Plant Location Problem.

Mohammad M. Fazel-Zarandi, J. Christopher Beck

INFORMS J. Comput., 2012

Solving two-machine assembly scheduling problems with inventory constraints.

Daria Terekhov, Mustafa K. Dogru, Ulas Özen, J. Christopher Beck

Comput. Ind. Eng., 2012

A negotiation framework for linked combinatorial optimization problems.

Lei Duan, Mustafa K. Dogru, Ulas Özen, J. Christopher Beck

Auton. Agents Multi Agent Syst., 2012

Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups.

Tony T. Tran, J. Christopher Beck

Proceedings of the ECAI 2012, 2012

Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling.

Stefan Heinz, J. Christopher Beck

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

Long-Run Stability in Dynamic Scheduling.

Daria Terekhov, Tony T. Tran, Douglas G. Down, J. Christopher Beck

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Optimally Relaxing Partial-Order Plans with MaxSAT.

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Improved Non-Deterministic Planning by Exploiting State Relevance.

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Planning Modulo Theories: Extending the Planning Paradigm.

Peter Gregory, Derek Long, Maria Fox, J. Christopher Beck

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Dsharp: Fast d-DNNF Compilation with sharpSAT.

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu

Proceedings of the Advances in Artificial Intelligence, 2012

Macro Learning in Planning as Parameter Configuration.

Maher A. Alhossaini, J. Christopher Beck

Proceedings of the Advances in Artificial Intelligence, 2012

2011

Understanding the behavior of Solution-Guided Search for job-shop scheduling.

Ivan Heckman, J. Christopher Beck

J. Sched., 2011

Combining Constraint Programming and Local Search for Job-Shop Scheduling.

J. Christopher Beck, T. K. Feng, Jean-Paul Watson

INFORMS J. Comput., 2011

A global constraint for total weighted completion time for unary resources.

András Kovács, J. Christopher Beck

Constraints An Int. J., 2011

Monitoring the Execution of Partial-Order Plans via Regression.

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck

Proceedings of the IJCAI 2011, 2011

Scheduling an Aircraft Repair Shop.

Maliheh Aramon Bajestani, J. Christopher Beck

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

2010

SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation.

Vadim Bulitko, J. Christopher Beck

AI Mag., 2010

Checking-Up on Branch-and-Check.

J. Christopher Beck

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

Fast d-DNNF Compilation with sharpSAT.

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu

Proceedings of the Abstraction, 2010

2009

A theoretic and practical framework for scheduling in a stochastic environment.

Julien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck

J. Sched., 2009

Principles for the Design of Large Neighborhood Search.

Tom Carchrae, J. Christopher Beck

J. Math. Model. Algorithms, 2009

A Constraint Programming Approach for Solving a Queueing Design and Control Problem.

Daria Terekhov, J. Christopher Beck, Kenneth N. Brown

INFORMS J. Comput., 2009

An extended queueing control model for facilities with front room and back room operations and mixed-skilled workers.

Daria Terekhov, J. Christopher Beck

Eur. J. Oper. Res., 2009

Scheduling with uncertain durations: Modeling beta-robust scheduling with constraints.

Christine Wei Wu, Kenneth N. Brown, J. Christopher Beck

Comput. Oper. Res., 2009

Introduction to the special volume on constraint programming, artificial intelligence, and operations research.

J. Christopher Beck, Barbara M. Smith

Ann. Oper. Res., 2009

Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition.

Mohammad M. Fazel-Zarandi, J. Christopher Beck

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

A Constraint Programming Approach for Solving a Queueing Control Problem.

Daria Terekhov, J. Christopher Beck

J. Artif. Intell. Res., 2008

A Space-Efficient Backtrack-Free Representation for Constraint Satisfaction Problems.

J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski

Int. J. Artif. Intell. Tools, 2008

A global constraint for total weighted completion time for cumulative resources.

András Kovács, J. Christopher Beck

Eng. Appl. Artif. Intell., 2008

A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem.

Jean-Paul Watson, J. Christopher Beck

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.

Ivan Heckman, J. Christopher Beck

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.

Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Managing restaurant tables using constraints.

Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck

Knowl. Based Syst., 2007

Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations.

J. Christopher Beck, Nic Wilson

J. Artif. Intell. Res., 2007

Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling.

J. Christopher Beck

J. Artif. Intell. Res., 2007

What's Your Problem? The Problem of Problem Definition.

J. Christopher Beck, Michael Grüninger

Proceedings of the Abstraction, 2007

A General Framework for Scheduling in a Stochastic Environment.

Julien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck

Proceedings of the IJCAI 2007, 2007

Solving a Stochastic Queueing Control Problem with Constraint Programming.

Daria Terekhov, J. Christopher Beck

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.

András Kovács, J. Christopher Beck

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.

Daria Terekhov, J. Christopher Beck, Kenneth N. Brown

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

2006

A case study of mutual routing-scheduling reformulation.

J. Christopher Beck, Patrick Prosser, Evgeny Selensky

J. Sched., 2006

An Empirical Study of Multi-Point Constructive Search for Constraint-Based Scheduling.

J. Christopher Beck

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

2005

Applying Machine Learning to Low-Knowledge Control of Optimization Algorithms.

Tom Carchrae, J. Christopher Beck

Comput. Intell., 2005

Learning Abstract Scheduling Models.

Tom Carchrae, J. Christopher Beck

Proceedings of the Abstraction, 2005

Proactive Algorithms for Scheduling with Probabilistic Durations.

J. Christopher Beck, Nic Wilson

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.

Christine Wei Wu, Kenneth N. Brown, J. Christopher Beck

Proceedings of the Principles and Practice of Constraint Programming, 2005

Robust Constraint Solving Using Multiple Heuristics.

Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck

Proceedings of the Principles and Practice of Constraint Programming, 2005

Methods to Learn Abstract Scheduling Models.

Tom Carchrae, J. Christopher Beck, Eugene C. Freuder

Proceedings of the Principles and Practice of Constraint Programming, 2005

Multi-point Constructive Search.

J. Christopher Beck

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Job Shop Scheduling with Probabilistic Durations.

J. Christopher Beck, Nic Wilson

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Failing First: An Update.

J. Christopher Beck, Patrick Prosser, Richard J. Wallace

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Trying Again to Fail-First.

J. Christopher Beck, Patrick Prosser, Richard J. Wallace

Proceedings of the Recent Advances in Constraints, 2004

Simple Rules for Low-Knowledge Algorithm Selection.

J. Christopher Beck, Eugene C. Freuder

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

Variable Ordering Heuristics Show Promise.

J. Christopher Beck, Patrick Prosser, Richard J. Wallace

Proceedings of the Principles and Practice of Constraint Programming, 2004

Backtrack-Free Search for Real-Time Constraint Satisfaction.

J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski

Proceedings of the Principles and Practice of Constraint Programming, 2004

Low-Knowledge Algorithm Control.

Tom Carchrae, J. Christopher Beck

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

A Hybrid Approach to Scheduling with Earliness and Tardiness Costs.

J. Christopher Beck, Philippe Refalo

Ann. Oper. Res., 2003

Problem difficulty for tabu search in job-shop scheduling.

Jean-Paul Watson, J. Christopher Beck, Adele E. Howe, L. Darrell Whitley

Artif. Intell., 2003

Vehicle Routing and Job Shop Scheduling: What's the Difference?

J. Christopher Beck, Patrick Prosser, Evgeny Selensky

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.

J. Christopher Beck, Patrick Prosser, Evgeny Selensky

Proceedings of the Abstraction, 2002

Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems.

J. Christopher Beck, Patrick Prosser, Evgeny Selensky

Proceedings of the Graph Transformation, First International Conference, 2002

2000

Introduction.

J. Christopher Beck, Andrew J. Davenport, Claude Le Pape

Constraints An Int. J., 2000

Constraint-directed techniques for scheduling alternative activities.

J. Christopher Beck, Mark S. Fox

Artif. Intell., 2000

Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics.

J. Christopher Beck, Mark S. Fox

Artif. Intell., 2000

Heuristics for Constraint-Directed Scheduling with Inventory.

J. Christopher Beck

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.

J. Christopher Beck

PhD thesis, 1999

Scheduling Alternative Activities.

J. Christopher Beck, Mark S. Fox

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.

J. Christopher Beck, Mark S. Fox

AI Mag., 1998

1997

Five Pitfalls of Empirical Scheduling Research.

J. Christopher Beck, Andrew J. Davenport, Mark S. Fox

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Texture-Based Heuristics for Scheduling Revisited.

J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox

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.

J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997