J. Christopher Beck

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 76

Top Venues

CPAIOR

ICAPS

J. Artif. Intell. Res.

Publications

Ryo Kuroiwa, J. Christopher Beck
Domain-Independent Dynamic Programming. CoRR (2024)
Ryo Kuroiwa, J. Christopher Beck
Solving Domain-Independent Dynamic Programming Problems with Anytime Heuristic Search. ICAPS (2023)
Christian Muise, Sheila A. McIlraith, J. Christopher Beck
PRP Rebooted: Advancing the State of the Art in FOND Planning. CoRR (2023)
Jiachen Zhang, Youcef Magnouche, Sébastien Martin, Antoine Fressancourt, J. Christopher Beck
The Multi-Commodity Flow Problem with Disjoint Signaling Paths: A Branch-and-Benders-Cut Algorithm. CoDIT (2023)
Arnoosh Golestanian, Giovanni Lo Bianco, Chengyu Tao, J. Christopher Beck
Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities. CP (2023)
Anton Korikov, J. Christopher Beck
Objective-Based Counterfactual Explanations for Linear Discrete Optimization. CPAIOR (2023)
Ryo Kuroiwa, J. Christopher Beck
Large Neighborhood Beam Search for Domain-Independent Dynamic Programming. CP (2023)
Ryo Kuroiwa, Alexander Shleyfman, J. Christopher Beck
Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning. ECAI (2023)
Alexander Shleyfman, Ryo Kuroiwa, J. Christopher Beck
Symmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning. ICAPS (2023)
Stephan A. Fahrenkrog-Petersen, Arik Senderovich, Alexandra Tichauer, Ali Kaan Tutak, J. Christopher Beck, Matthias Weidlich
Privacy Attacks on Schedule-Driven Data. AAAI (2023)
Ryo Kuroiwa, J. Christopher Beck
Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization. ICAPS (2023)
Margarita P. Castro, André Augusto Ciré, J. Christopher Beck
Decision Diagrams for Discrete Optimization: A Survey of Recent Advances. INFORMS J. Comput. 34 (4) (2022)
Margarita P. Castro, André Augusto Ciré, J. Christopher Beck
A combinatorial cut-and-lift procedure with an application to 0-1 second-order conic programming. Math. Program. 196 (1) (2022)
Ryo Kuroiwa, J. Christopher Beck
Biased Exploration for Satisficing Heuristic Search. ICAPS (2022)
Jiachen Zhang, Giovanni Lo Bianco, J. Christopher Beck
Solving Job-Shop Scheduling Problems with QUBO-Based Specialized Hardware. ICAPS (2022)
Ryo Kuroiwa, J. Christopher Beck
Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization. CoRR (2022)
Jiachen Zhang, Giovanni Lo Bianco, J. Christopher Beck
Model-Based Approaches to Multi-attribute Diverse Matching. CPAIOR (2022)
Ryo Kuroiwa, Alexander Shleyfman, Chiara Piacentini, Margarita P. Castro, J. Christopher Beck
The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions. J. Artif. Intell. Res. 75 (2022)
Ryo Kuroiwa, Alexander Shleyfman, J. Christopher Beck
LM-Cut Heuristics for Optimal Linear Numeric Planning. ICAPS (2022)
Arik Senderovich, Jiachen Zhang, Eldan Cohen, J. Christopher Beck
Exploiting Hardware and Software Advances for Quadratic Models of Wind Farm Layout Optimization. IEEE Access 10 (2022)
Yiqing L. Luo, J. Christopher Beck
Packing by Scheduling: Using Constraint Programming to Solve a Complex 2D Cutting Stock Problem. CPAIOR (2022)
Anton Korikov, J. Christopher Beck
Counterfactual Explanations via Inverse Constraint Programming. CP (2021)
Anton Korikov, Alexander Shleyfman, J. Christopher Beck
Counterfactual Explanations for Optimization-Based Decisions in the Context of the GDPR. IJCAI (2021)
Eldan Cohen, J. Christopher Beck
Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding. CPAIOR (2021)
Ryo Kuroiwa, Alexander Shleyfman, Chiara Piacentini, Margarita P. Castro, J. Christopher Beck
LM-cut and Operator Counting Heuristics for Optimal Numeric Planning with Simple Conditions. ICAPS (2021)
Shane Bergsma, Timothy Zeyl, Arik Senderovich, J. Christopher Beck
Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks. SOSP (2021)
Tanya Y. Tang, J. Christopher Beck
CP and Hybrid Models for Two-Stage Batching and Scheduling. CPAIOR (2020)
Kyle E. C. Booth, Chiara Piacentini, Sara Bernardini, J. Christopher Beck
Target Search on Road Networks With Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles. IEEE Robotics Autom. Lett. 5 (4) (2020)
Margarita P. Castro, Chiara Piacentini, André Augusto Ciré, J. Christopher Beck
Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics. J. Artif. Intell. Res. 67 (2020)
Margarita P. Castro, André Augusto Ciré, J. Christopher Beck
An MDD-Based Lagrangian Approach to the Multicommodity Pickup-and-Delivery TSP. INFORMS J. Comput. 32 (2) (2020)
Eldan Cohen, Arik Senderovich, J. Christopher Beck
An Ising Framework for Constrained Clustering on Special Purpose Hardware. CPAIOR (2020)
Eldan Cohen, J. Christopher Beck
Empirical Analysis of Beam Search Performance Degradation in Neural Sequence Models. ICML (2019)
Arik Senderovich, Kyle E. C. Booth, J. Christopher Beck
Learning Scheduling Models from Event Data. ICAPS (2019)
Kyle E. C. Booth, J. Christopher Beck
A Constraint Programming Approach to Electric Vehicle Routing with Time Windows. CPAIOR (2019)
Bahar Aameri, Hyunmin Cheong, J. Christopher Beck
Towards an ontology for generative design of mechanical assemblies. Appl. Ontology 14 (2) (2019)
Rodrigo Toro Icarte, León Illanes, Margarita P. Castro, André A. Ciré, Sheila A. McIlraith, J. Christopher Beck
Training Binarized Neural Networks Using MIP and CP. CP (2019)
Amanda Jane Coles, Andrew Coles, J. Christopher Beck
Efficient Temporal Planning Using Metastates. AAAI (2019)
Margarita P. Castro, Chiara Piacentini, André A. Ciré, J. Christopher Beck
Relaxed BDDs: An Admissible Heuristic for Delete-Free Planning Based on a Discrete Relaxation. ICAPS (2019)
Chiara Piacentini, Sara Bernardini, J. Christopher Beck
Autonomous Target Search with Multiple Coordinated UAVs. J. Artif. Intell. Res. 65 (2019)
Arik Senderovich, J. Christopher Beck, Avigdor Gal, Matthias Weidlich
Congestion Graphs for Automated Time Predictions. AAAI (2019)
Tony T. Tran, Meghana Padmanabhan, Peter Yun Zhang, Heyse Li, Douglas G. Down, J. Christopher Beck
Multi-stage resource-aware scheduling for data centers with heterogeneous servers. J. Sched. 21 (2) (2018)
Kyle E. C. Booth, Minh Do, J. Christopher Beck, Eleanor Gilbert Rieffel, Davide Venturelli, Jeremy Frank
Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation. ICAPS (2018)
J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan van Hoeve
Planning and Operations Research (Dagstuhl Seminar 18071). Dagstuhl Reports 8 (2) (2018)
Chang Liu, Dionne M. Aleman, J. Christopher Beck
Modelling and Solving the Senior Transportation Problem. CPAIOR (2018)
Kyle E. C. Booth, Minh Do, J. Christopher Beck, Eleanor Gilbert Rieffel, Davide Venturelli, Jeremy Frank
Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation. CoRR (2018)
Chiara Piacentini, Margarita P. Castro, André Augusto Ciré, J. Christopher Beck
Compiling Optimal Numeric Planning to Mixed Integer Linear Programming. ICAPS (2018)
Michael Morin, Margarita P. Castro, Kyle E. C. Booth, Tony T. Tran, Chang Liu, J. Christopher Beck
Intruder alert! Optimization models for solving the mobile robot graph-clear problem. Constraints An Int. J. 23 (3) (2018)
Eldan Cohen, J. Christopher Beck
Fat- and Heavy-Tailed Behavior in Satisficing Planning. AAAI (2018)
Chiara Piacentini, Margarita P. Castro, André Augusto Ciré, J. Christopher Beck
Linear and Integer Programming-Based Heuristics for Cost-Optimal Numeric Planning. AAAI (2018)
Eldan Cohen, J. Christopher Beck
Local Minima, Heavy Tails, and Search Effort for GBFS. IJCAI (2018)
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
Knowledge-Based Provision of Goods and Services for People with Social Needs: Towards a Virtual Marketplace. AAAI Workshops (2017)
Eldan Cohen, J. Christopher Beck
Cost-Based Heuristics and Node Re-Expansions across the Phase Transition. SOCS (2017)
Tony T. Tran, Tiago Stegun Vaquero, Goldie Nejat, J. Christopher Beck
Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots (Extended Abstract). IJCAI (2017)
Kyle E. C. Booth, Sharaf Christopher Mohamed, Sanjif Rajaratnam, Goldie Nejat, J. Christopher Beck
Robots in Retirement Homes: Person Search and Task Planning for a Group of Residents by a Team of Assistive Robots. IEEE Intell. Syst. 32 (6) (2017)
Eldan Cohen, J. Christopher Beck
Problem Difficulty and the Phase Transition in Heuristic Search. AAAI (2017)
Eldan Cohen, Guoyu Huang, J. Christopher Beck
(I Can Get) Satisfaction: Preference-Based Scheduling for Concert-Goers at Multi-venue Music Festivals. SAT (2017)
Tony T. Tran, Tiago Stegun Vaquero, Goldie Nejat, J. Christopher Beck
Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots. J. Artif. Intell. Res. 58 (2017)
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
A virtual marketplace for goods and services for people with social needs. IHTC (2017)
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
Knowledge-Based Provisioning of Goods and Services: Towards a Virtual Social Needs Marketplace. AAAI Spring Symposia (2017)
Soon Chee Loong, Wen-Yang Ku, J. Christopher Beck
ℚ-bounds consistency for the spread constraint with variable mean. Constraints An Int. J. 21 (4) (2016)
Tony T. Tran, Zhihui Wang, Minh Do, Eleanor Gilbert Rieffel, Jeremy Frank, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck
Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem. AAAI Workshop: Planning for Hybrid Systems (2016)
Tony T. Tran, Minh Do, Eleanor Gilbert Rieffel, Jeremy Frank, Zhihui Wang, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck
A Hybrid Quantum-Classical Approach to Solving Scheduling Problems. SOCS (2016)
Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
Optimal Partial-Order Plan Relaxation via MaxSAT. J. Artif. Intell. Res. 57 (2016)
Tony T. Tran, Arthur Araujo, J. Christopher Beck
Decomposition Methods for the Parallel Machine Scheduling Problem with Setups. INFORMS J. Comput. 28 (1) (2016)
Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck
Decomposition Methods for the Travelling Purchaser Problem. ISAIM (2016)
Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck
Logic-Based Decomposition Methods for the Travelling Purchaser Problem. CPAIOR (2016)
Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith
Using Metric Temporal Logic to Specify Scheduling Problems. KR (2016)
Wen-Yang Ku, J. Christopher Beck
Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems. CP (2016)
Wen-Yang Ku, J. Christopher Beck
Mixed Integer Programming models for job shop scheduling: A computational analysis. Comput. Oper. Res. 73 (2016)
Buser Say, André A. Ciré, J. Christopher Beck
Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility. ECAI (2016)
Kyle E. C. Booth, Goldie Nejat, J. Christopher Beck
A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes. CP (2016)
Kyle E. C. Booth, Tony T. Tran, Goldie Nejat, J. Christopher Beck
Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning. IEEE Robotics Autom. Lett. 1 (1) (2016)
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
Reports from the 2015 AAAI Workshop Program. AI Mag. 36 (2) (2015)
Tiago Stegun Vaquero, Sharaf Christopher Mohamed, Goldie Nejat, J. Christopher Beck
The Implementation of a Planning and Scheduling Architecture for Multiple Robots Assisting Multiple Users in a Retirement Home Setting. AAAI Workshop: Artificial Intelligence Applied to Assistive Technologies and Smart Environments (2015)
Wen-Yang Ku, J. Christopher Beck
Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem. CPAIOR (2015)
Maliheh Aramon Bajestani, J. Christopher Beck
A two-stage coupled algorithm for an integrated maintenance planning and flowshop scheduling problem with deteriorating machines. J. Sched. 18 (5) (2015)
Peter Y. Zhang, David A. Romero, J. Christopher Beck, Cristina H. Amon
Solving wind farm layout optimization with mixed integer programs and constraint programs. EURO J. Comput. Optim. 2 (3) (2014)
Maliheh Aramon Bajestani, J. Christopher Beck
Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources. CoRR (2014)
Wen-Yang Ku, J. Christopher Beck
Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems. CPAIOR (2014)
Sebastian Kosch, J. Christopher Beck
A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes. CPAIOR (2014)
Daria Terekhov, Tony T. Tran, Douglas G. Down, J. Christopher Beck
Integrating Queueing Theory and Scheduling for Dynamic Scheduling Problems. J. Artif. Intell. Res. 50 (2014)
Wing-Yue Geoffrey Louie, Tiago Stegun Vaquero, Goldie Nejat, J. Christopher Beck
An autonomous assistive robot for planning, scheduling and facilitating multi-user activities. ICRA (2014)
Wen-Yang Ku, Thiago Pinheiro, J. Christopher Beck
CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem. CP (2014)
Tony T. Tran, Daria Terekhov, Douglas G. Down, J. Christopher Beck
Hybrid Queueing Theory and Scheduling Models for Dynamic Environments with Sequence-Dependent Setup Times. ICAPS (2013)
Stefan Heinz, Jens Schulz, J. Christopher Beck
Using dual presolving reductions to reformulate cumulative constraints. Constraints An Int. J. 18 (2) (2013)
J. Christopher Beck, Gene Cooperman
Invited Speakers. SOCS (2013)
Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
Flexible Execution of Partial Order Plans With Temporal Constraints. IJCAI (2013)
J. Christopher Beck
Modeling, Global Constraints, and Decomposition. SARA (2013)
Tiago Stegun Vaquero, José Reinaldo Silva, J. Christopher Beck
Post-design analysis for building and refining AI planning systems. Eng. Appl. Artif. Intell. 26 (8) (2013)
Stefan Heinz, Wen-Yang Ku, J. Christopher Beck
Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling. CPAIOR (2013)
Andrea Rendl, J. Christopher Beck
Introduction to the special issue on constraint modelling and reformulation. Constraints An Int. J. 18 (2) (2013)
Tiago Stegun Vaquero, José Reinaldo Silva, Flavio Tonidandel, J. Christopher Beck
itSIMPLE: towards an integrated design system for real planning applications. Knowl. Eng. Rev. 28 (2) (2013)
Maher A. Alhossaini, J. Christopher Beck
Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing Operators. SARA (2013)
Maliheh Aramon Bajestani, J. Christopher Beck
Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources. J. Artif. Intell. Res. 47 (2013)
Peter Y. Zhang, David A. Romero, J. Christopher Beck, Cristina H. Amon
Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming. CPAIOR (2013)
Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck
Optimally Relaxing Partial-Order Plans with MaxSAT. ICAPS (2012)
Mohammad M. Fazel-Zarandi, J. Christopher Beck
Using Logic-Based Benders Decomposition to Solve the Capacity- and Distance-Constrained Plant Location Problem. INFORMS J. Comput. 24 (3) (2012)
Maher A. Alhossaini, J. Christopher Beck
Macro Learning in Planning as Parameter Configuration. Canadian Conference on AI (2012)
Daria Terekhov, Tony T. Tran, Douglas G. Down, J. Christopher Beck
Long-Run Stability in Dynamic Scheduling. ICAPS (2012)
Tony T. Tran, J. Christopher Beck
Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups. ECAI (2012)

J. Christopher Beck.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

J. Christopher Beck