J. Christopher Beck

192 papers A* 42A 29B 26C 1Misc 1Journal 71Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Domain-Independent Dynamic Programming with Constraint Propagation. CoRR Imko Marijnissen, J. Christopher Beck, Emir Demirovic, Ryo Kuroiwa
2026	J	`jnl`	Domain-independent dynamic programming. Artif. Intell. Ryo Kuroiwa, J. Christopher Beck
2025	J	`jnl`	Domain-Independent Dynamic Programming and Constraint Programming Approaches for Assembly Line Balancing Problems with Setups. INFORMS J. Comput. Jiachen Zhang, J. Christopher Beck
2025	A	`conf`	Exact Methods for the Travelling Salesperson Problem with Self-Deleting Graphs. CP Daniel Pekar, J. Christopher Beck
2025	A	`conf`	RPID: Rust Programmable Interface for Domain-Independent Dynamic Programming. CP Ryo Kuroiwa, J. Christopher Beck
2025	—	`conf`	Reinforcement Learning-Based Heuristics to Guide Domain-Independent Dynamic Programming. CPAIOR (2) Minori Narita, Ryo Kuroiwa, J. Christopher Beck
2025	J	`jnl`	Reinforcement Learning-based Heuristics to Guide Domain-Independent Dynamic Programming. CoRR Minori Narita, Ryo Kuroiwa, J. Christopher Beck
2025	J	`jnl`	Solving logic-based benders decomposition master problems with constraint programming and domain-independent dynamic programming. Constraints An Int. J. Jiachen Zhang, J. Christopher Beck
2025	A	`conf`	Transition Dominance in Domain-Independent Dynamic Programming. CP J. Christopher Beck, Ryo Kuroiwa, Jimmy H. M. Lee, Peter J. Stuckey, Allen Z. Zhong
2024	J	`jnl`	Computing Bipath Multicommodity Flows with Constraint Programming-Based Branch-and-Price-and-Cut. INFORMS J. Comput. Jiachen Zhang, Youcef Magnouche, Pierre Bauguion, Sébastien Martin, J. Christopher Beck
2024	J	`jnl`	Determining pre-procedure fasting alert time using procedural and scheduling data. Health Informatics J. Litong Zheng, J. Christopher Beck, Sebastian Mafeld, Matteo Parotto, Amanda Matthews, Sheryl Alexandre, Aaron Conway
2024	J	`jnl`	Domain-Independent Dynamic Programming. CoRR Ryo Kuroiwa, J. Christopher Beck
2024	A*	`conf`	PRP Rebooted: Advancing the State of the Art in FOND Planning. AAAI Christian Muise, Sheila A. McIlraith, J. Christopher Beck
2024	A*	`conf`	Parallel Beam Search Algorithms for Domain-Independent Dynamic Programming. AAAI Ryo Kuroiwa, J. Christopher Beck
2024	A	`conf`	Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming. CP Jiachen Zhang, J. Christopher Beck
2024	A	`conf`	Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning. CP Adam Francis Green, J. Christopher Beck, Amanda Jane Coles
2023	A*	`conf`	Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization. ICAPS Ryo Kuroiwa, J. Christopher Beck
2023	A	`conf`	Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning. ECAI Ryo Kuroiwa, Alexander Shleyfman, J. Christopher Beck
2023	A	`conf`	Large Neighborhood Beam Search for Domain-Independent Dynamic Programming. CP Ryo Kuroiwa, J. Christopher Beck
2023	B	`conf`	Objective-Based Counterfactual Explanations for Linear Discrete Optimization. CPAIOR Anton Korikov, J. Christopher Beck
2023	A	`conf`	Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities. CP Arnoosh Golestanian, Giovanni Lo Bianco, Chengyu Tao, J. Christopher Beck
2023	J	`jnl`	PRP Rebooted: Advancing the State of the Art in FOND Planning. CoRR Christian Muise, Sheila A. McIlraith, J. Christopher Beck
2023	A*	`conf`	Privacy Attacks on Schedule-Driven Data. AAAI Stephan A. Fahrenkrog-Petersen, Arik Senderovich, Alexandra Tichauer, Ali Kaan Tutak, J. Christopher Beck, Matthias Weidlich
2023	A*	`conf`	Solving Domain-Independent Dynamic Programming Problems with Anytime Heuristic Search. ICAPS Ryo Kuroiwa, J. Christopher Beck
2023	A*	`conf`	Symmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning. ICAPS Alexander Shleyfman, Ryo Kuroiwa, J. Christopher Beck
2023	C	`conf`	The Multi-Commodity Flow Problem with Disjoint Signaling Paths: A Branch-and-Benders-Cut Algorithm. CoDIT Jiachen Zhang, Youcef Magnouche, Sébastien Martin, Antoine Fressancourt, J. Christopher Beck
2022	J	`jnl`	A combinatorial cut-and-lift procedure with an application to 0-1 second-order conic programming. Math. Program. Margarita P. Castro, André Augusto Ciré, J. Christopher Beck
2022	A*	`conf`	Biased Exploration for Satisficing Heuristic Search. ICAPS Ryo Kuroiwa, J. Christopher Beck
2022	J	`jnl`	Decision Diagrams for Discrete Optimization: A Survey of Recent Advances. INFORMS J. Comput. Margarita P. Castro, André Augusto Ciré, J. Christopher Beck
2022	J	`jnl`	Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization. CoRR Ryo Kuroiwa, J. Christopher Beck
2022	J	`jnl`	Exploiting Hardware and Software Advances for Quadratic Models of Wind Farm Layout Optimization. IEEE Access Arik Senderovich, Jiachen Zhang, Eldan Cohen, J. Christopher Beck
2022	A*	`conf`	LM-Cut Heuristics for Optimal Linear Numeric Planning. ICAPS Ryo Kuroiwa, Alexander Shleyfman, J. Christopher Beck
2022	B	`conf`	Model-Based Approaches to Multi-attribute Diverse Matching. CPAIOR Jiachen Zhang, Giovanni Lo Bianco, J. Christopher Beck
2022	B	`conf`	Packing by Scheduling: Using Constraint Programming to Solve a Complex 2D Cutting Stock Problem. CPAIOR Yiqing L. Luo, J. Christopher Beck
2022	A*	`conf`	Solving Job-Shop Scheduling Problems with QUBO-Based Specialized Hardware. ICAPS Jiachen Zhang, Giovanni Lo Bianco, J. Christopher Beck
2022	J	`jnl`	The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions. J. Artif. Intell. Res. Ryo Kuroiwa, Alexander Shleyfman, Chiara Piacentini, Margarita P. Castro, J. Christopher Beck
2021	A*	`conf`	Counterfactual Explanations for Optimization-Based Decisions in the Context of the GDPR. IJCAI Anton Korikov, Alexander Shleyfman, J. Christopher Beck
2021	A	`conf`	Counterfactual Explanations via Inverse Constraint Programming. CP Anton Korikov, J. Christopher Beck
2021	A*	`conf`	Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks. SOSP Shane Bergsma, Timothy Zeyl, Arik Senderovich, J. Christopher Beck
2021	B	`conf`	Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding. CPAIOR Eldan Cohen, J. Christopher Beck
2021	A*	`conf`	LM-cut and Operator Counting Heuristics for Optimal Numeric Planning with Simple Conditions. ICAPS Ryo Kuroiwa, Alexander Shleyfman, Chiara Piacentini, Margarita P. Castro, J. Christopher Beck
2020	B	`conf`	An Ising Framework for Constrained Clustering on Special Purpose Hardware. CPAIOR Eldan Cohen, Arik Senderovich, J. Christopher Beck
2020	J	`jnl`	An MDD-Based Lagrangian Approach to the Multicommodity Pickup-and-Delivery TSP. INFORMS J. Comput. Margarita P. Castro, André Augusto Ciré, J. Christopher Beck
2020	B	`conf`	CP and Hybrid Models for Two-Stage Batching and Scheduling. CPAIOR Tanya Y. Tang, J. Christopher Beck
2020	A*	`ed.`	Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020 ICAPS J. Christopher Beck, Olivier Buffet, Jörg Hoffmann, Erez Karpas, Shirin Sohrabi
2020	J	`jnl`	Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics. J. Artif. Intell. Res. Margarita P. Castro, Chiara Piacentini, André Augusto Ciré, J. Christopher Beck
2020	J	`jnl`	Target Search on Road Networks With Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles. IEEE Robotics Autom. Lett. Kyle E. C. Booth, Chiara Piacentini, Sara Bernardini, J. Christopher Beck
2019	B	`conf`	A Constraint Programming Approach to Electric Vehicle Routing with Time Windows. CPAIOR Kyle E. C. Booth, J. Christopher Beck
2019	J	`jnl`	Autonomous Target Search with Multiple Coordinated UAVs. J. Artif. Intell. Res. Chiara Piacentini, Sara Bernardini, J. Christopher Beck
2019	A*	`conf`	Congestion Graphs for Automated Time Predictions. AAAI Arik Senderovich, J. Christopher Beck, Avigdor Gal, Matthias Weidlich
2019	A*	`conf`	Efficient Temporal Planning Using Metastates. AAAI Amanda Jane Coles, Andrew Coles, J. Christopher Beck
2019	A*	`conf`	Empirical Analysis of Beam Search Performance Degradation in Neural Sequence Models. ICML Eldan Cohen, J. Christopher Beck
2019	A*	`conf`	Learning Scheduling Models from Event Data. ICAPS Arik Senderovich, Kyle E. C. Booth, J. Christopher Beck
2019	A*	`conf`	Relaxed BDDs: An Admissible Heuristic for Delete-Free Planning Based on a Discrete Relaxation. ICAPS Margarita P. Castro, Chiara Piacentini, André A. Ciré, J. Christopher Beck
2019	J	`jnl`	Towards an ontology for generative design of mechanical assemblies. Appl. Ontology Bahar Aameri, Hyunmin Cheong, J. Christopher Beck
2019	A	`conf`	Training Binarized Neural Networks Using MIP and CP. CP Rodrigo Toro Icarte, León Illanes, Margarita P. Castro, André A. Ciré, Sheila A. McIlraith, J. Christopher Beck
2018	A*	`conf`	Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation. ICAPS Kyle E. C. Booth, Minh Do, J. Christopher Beck, Eleanor Gilbert Rieffel, Davide Venturelli, Jeremy Frank
2018	J	`jnl`	Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation. CoRR Kyle E. C. Booth, Minh Do, J. Christopher Beck, Eleanor Gilbert Rieffel, Davide Venturelli, Jeremy Frank
2018	A*	`conf`	Compiling Optimal Numeric Planning to Mixed Integer Linear Programming. ICAPS Chiara Piacentini, Margarita P. Castro, André Augusto Ciré, J. Christopher Beck
2018	A*	`conf`	Fat- and Heavy-Tailed Behavior in Satisficing Planning. AAAI Eldan Cohen, J. Christopher Beck
2018	J	`jnl`	Intruder alert! Optimization models for solving the mobile robot graph-clear problem. Constraints An Int. J. Michael Morin, Margarita P. Castro, Kyle E. C. Booth, Tony T. Tran, Chang Liu, J. Christopher Beck
2018	A*	`conf`	Linear and Integer Programming-Based Heuristics for Cost-Optimal Numeric Planning. AAAI Chiara Piacentini, Margarita P. Castro, André Augusto Ciré, J. Christopher Beck
2018	A*	`conf`	Local Minima, Heavy Tails, and Search Effort for GBFS. IJCAI Eldan Cohen, J. Christopher Beck
2018	B	`conf`	Modelling and Solving the Senior Transportation Problem. CPAIOR Chang Liu, Dionne M. Aleman, J. Christopher Beck
2018	J	`jnl`	Multi-stage resource-aware scheduling for data centers with heterogeneous servers. J. Sched. Tony T. Tran, Meghana Padmanabhan, Peter Yun Zhang, Heyse Li, Douglas G. Down, J. Christopher Beck
2018	J	`jnl`	Planning and Operations Research (Dagstuhl Seminar 18071). Dagstuhl Reports J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan van Hoeve
2017	A	`conf`	(I Can Get) Satisfaction: Preference-Based Scheduling for Concert-Goers at Multi-venue Music Festivals. SAT Eldan Cohen, Guoyu Huang, J. Christopher Beck
2017	—	`conf`	A virtual marketplace for goods and services for people with social needs. IHTC 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
2017	B	`conf`	Cost-Based Heuristics and Node Re-Expansions across the Phase Transition. SOCS Eldan Cohen, J. Christopher Beck
2017	—	`conf`	Knowledge-Based Provision of Goods and Services for People with Social Needs: Towards a Virtual Marketplace. AAAI Workshops 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
2017	—	`conf`	Knowledge-Based Provisioning of Goods and Services: Towards a Virtual Social Needs Marketplace. AAAI Spring Symposia 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
2017	A	`ed.`	Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings CP J. Christopher Beck
2017	A*	`conf`	Problem Difficulty and the Phase Transition in Heuristic Search. AAAI Eldan Cohen, J. Christopher Beck
2017	A*	`conf`	Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots (Extended Abstract). IJCAI Tony T. Tran, Tiago Stegun Vaquero, Goldie Nejat, J. Christopher Beck
2017	J	`jnl`	Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots. J. Artif. Intell. Res. Tony T. Tran, Tiago Stegun Vaquero, Goldie Nejat, J. Christopher Beck
2017	J	`jnl`	Robots in Retirement Homes: Person Search and Task Planning for a Group of Residents by a Team of Assistive Robots. IEEE Intell. Syst. Kyle E. C. Booth, Sharaf Christopher Mohamed, Sanjif Rajaratnam, Goldie Nejat, J. Christopher Beck
2016	A	`conf`	A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes. CP Kyle E. C. Booth, Goldie Nejat, J. Christopher Beck
2016	B	`conf`	A Hybrid Quantum-Classical Approach to Solving Scheduling Problems. SOCS Tony T. Tran, Minh Do, Eleanor Gilbert Rieffel, Jeremy Frank, Zhihui Wang, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck
2016	A	`conf`	Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems. CP Wen-Yang Ku, J. Christopher Beck
2016	J	`jnl`	Decomposition Methods for the Parallel Machine Scheduling Problem with Setups. INFORMS J. Comput. Tony T. Tran, Arthur Araujo, J. Christopher Beck
2016	Misc	`conf`	Decomposition Methods for the Travelling Purchaser Problem. ISAIM Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck
2016	—	`conf`	Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem. AAAI Workshop: Planning for Hybrid Systems Tony T. Tran, Zhihui Wang, Minh Do, Eleanor Gilbert Rieffel, Jeremy Frank, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck
2016	B	`conf`	Logic-Based Decomposition Methods for the Travelling Purchaser Problem. CPAIOR Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck
2016	A	`conf`	Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility. ECAI Buser Say, André A. Ciré, J. Christopher Beck
2016	J	`jnl`	Mixed Integer Programming models for job shop scheduling: A computational analysis. Comput. Oper. Res. Wen-Yang Ku, J. Christopher Beck
2016	J	`jnl`	Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning. IEEE Robotics Autom. Lett. Kyle E. C. Booth, Tony T. Tran, Goldie Nejat, J. Christopher Beck
2016	J	`jnl`	Optimal Partial-Order Plan Relaxation via MaxSAT. J. Artif. Intell. Res. Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
2016	A*	`conf`	Using Metric Temporal Logic to Specify Scheduling Problems. KR Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith
2016	J	`jnl`	ℚ-bounds consistency for the spread constraint with variable mean. Constraints An Int. J. Chee Loong Soon, Wen-Yang Ku, J. Christopher Beck
2015	J	`jnl`	A two-stage coupled algorithm for an integrated maintenance planning and flowshop scheduling problem with deteriorating machines. J. Sched. Maliheh Aramon Bajestani, J. Christopher Beck
2015	B	`conf`	Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem. CPAIOR Wen-Yang Ku, J. Christopher Beck
2015	J	`jnl`	Reports from the 2015 AAAI Workshop Program. AI Mag. 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
2015	—	`conf`	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 Tiago Stegun Vaquero, Sharaf Christopher Mohamed, Goldie Nejat, J. Christopher Beck
2014	B	`conf`	A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes. CPAIOR Sebastian Kosch, J. Christopher Beck
2014	A*	`conf`	An autonomous assistive robot for planning, scheduling and facilitating multi-user activities. ICRA Wing-Yue Geoffrey Louie, Tiago Stegun Vaquero, Goldie Nejat, J. Christopher Beck
2014	A	`conf`	CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem. CP Wen-Yang Ku, Thiago Pinheiro, J. Christopher Beck
2014	B	`conf`	Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems. CPAIOR Wen-Yang Ku, J. Christopher Beck
2014	J	`jnl`	Integrating Queueing Theory and Scheduling for Dynamic Scheduling Problems. J. Artif. Intell. Res. Daria Terekhov, Tony T. Tran, Douglas G. Down, J. Christopher Beck
2014	J	`jnl`	Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources. CoRR Maliheh Aramon Bajestani, J. Christopher Beck
2014	J	`jnl`	Solving wind farm layout optimization with mixed integer programs and constraint programs. EURO J. Comput. Optim. Peter Y. Zhang, David A. Romero, J. Christopher Beck, Cristina H. Amon
2013	A*	`conf`	Flexible Execution of Partial Order Plans With Temporal Constraints. IJCAI Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
2013	A*	`conf`	Hybrid Queueing Theory and Scheduling Models for Dynamic Environments with Sequence-Dependent Setup Times. ICAPS Tony T. Tran, Daria Terekhov, Douglas G. Down, J. Christopher Beck
2013	—	`conf`	Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing Operators. SARA Maher A. Alhossaini, J. Christopher Beck
2013	J	`jnl`	Introduction to the special issue on constraint modelling and reformulation. Constraints An Int. J. Andrea Rendl, J. Christopher Beck
2013	B	`conf`	Invited Speakers. SOCS J. Christopher Beck, Gene Cooperman
2013	—	`conf`	Modeling, Global Constraints, and Decomposition. SARA J. Christopher Beck
2013	J	`jnl`	Post-design analysis for building and refining AI planning systems. Eng. Appl. Artif. Intell. Tiago Stegun Vaquero, José Reinaldo Silva, J. Christopher Beck
2013	B	`conf`	Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling. CPAIOR Stefan Heinz, Wen-Yang Ku, J. Christopher Beck
2013	J	`jnl`	Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources. J. Artif. Intell. Res. Maliheh Aramon Bajestani, J. Christopher Beck
2013	B	`conf`	Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming. CPAIOR Peter Y. Zhang, David A. Romero, J. Christopher Beck, Cristina H. Amon
2013	J	`jnl`	Using dual presolving reductions to reformulate cumulative constraints. Constraints An Int. J. Stefan Heinz, Jens Schulz, J. Christopher Beck
2013	J	`jnl`	itSIMPLE: towards an integrated design system for real planning applications. Knowl. Eng. Rev. Tiago Stegun Vaquero, José Reinaldo Silva, Flavio Tonidandel, J. Christopher Beck
2012	J	`jnl`	A negotiation framework for linked combinatorial optimization problems. Auton. Agents Multi Agent Syst. Lei Duan, Mustafa K. Dogru, Ulas Özen, J. Christopher Beck
2012	—	`conf`	Dsharp: Fast d-DNNF Compilation with sharpSAT. Canadian AI Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu
2012	A*	`conf`	Improved Non-Deterministic Planning by Exploiting State Relevance. ICAPS Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck
2012	A	`conf`	Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups. ECAI Tony T. Tran, J. Christopher Beck
2012	A*	`conf`	Long-Run Stability in Dynamic Scheduling. ICAPS Daria Terekhov, Tony T. Tran, Douglas G. Down, J. Christopher Beck
2012	—	`conf`	Macro Learning in Planning as Parameter Configuration. Canadian AI Maher A. Alhossaini, J. Christopher Beck
2012	A*	`conf`	Optimally Relaxing Partial-Order Plans with MaxSAT. ICAPS Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck
2012	A*	`conf`	Planning Modulo Theories: Extending the Planning Paradigm. ICAPS Peter Gregory, Derek Long, Maria Fox, J. Christopher Beck
2012	J	`jnl`	Recommendations for an Undergraduate Curriculum at the Interface of Operations Research and Computer Science. INFORMS Trans. Educ. Jill R. Hardin, Allen Holder, J. Christopher Beck, Kevin C. Furman, Arthur Hanna, David J. Rader Jr., César Rego
2012	B	`conf`	Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling. CPAIOR Stefan Heinz, J. Christopher Beck
2012	J	`jnl`	Solving two-machine assembly scheduling problems with inventory constraints. Comput. Ind. Eng. Daria Terekhov, Mustafa K. Dogru, Ulas Özen, J. Christopher Beck
2012	J	`jnl`	Using Logic-Based Benders Decomposition to Solve the Capacity- and Distance-Constrained Plant Location Problem. INFORMS J. Comput. Mohammad M. Fazel-Zarandi, J. Christopher Beck
2011	J	`jnl`	A Constraint Programming Approach for Solving a Queueing Control Problem CoRR Daria Terekhov, J. Christopher Beck
2011	J	`jnl`	A global constraint for total weighted completion time for unary resources. Constraints An Int. J. András Kovács, J. Christopher Beck
2011	J	`jnl`	Combining Constraint Programming and Local Search for Job-Shop Scheduling. INFORMS J. Comput. J. Christopher Beck, T. K. Feng, Jean-Paul Watson
2011	B	`ed.`	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings CPAIOR Tobias Achterberg, J. Christopher Beck
2011	A*	`conf`	Monitoring the Execution of Partial-Order Plans via Regression. IJCAI Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck
2011	J	`jnl`	Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations CoRR J. Christopher Beck, Nic Wilson
2011	A*	`conf`	Scheduling an Aircraft Repair Shop. ICAPS Maliheh Aramon Bajestani, J. Christopher Beck
2011	J	`jnl`	Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling CoRR J. Christopher Beck
2011	J	`jnl`	Understanding the behavior of Solution-Guided Search for job-shop scheduling. J. Sched. Ivan Heckman, J. Christopher Beck
2010	A	`conf`	Checking-Up on Branch-and-Check. CP J. Christopher Beck
2010	—	`conf`	Fast d-DNNF Compilation with sharpSAT. Abstraction, Reformulation, and Approximation Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu
2010	J	`jnl`	SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation. AI Mag. Vadim Bulitko, J. Christopher Beck
2009	J	`jnl`	A Constraint Programming Approach for Solving a Queueing Design and Control Problem. INFORMS J. Comput. Daria Terekhov, J. Christopher Beck, Kenneth N. Brown
2009	J	`jnl`	A theoretic and practical framework for scheduling in a stochastic environment. J. Sched. Julien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck
2009	J	`jnl`	An extended queueing control model for facilities with front room and back room operations and mixed-skilled workers. Eur. J. Oper. Res. Daria Terekhov, J. Christopher Beck
2009	—	`ed.`	Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 SARA Vadim Bulitko, J. Christopher Beck
2009	J	`jnl`	Introduction to the special volume on constraint programming, artificial intelligence, and operations research. Ann. Oper. Res. J. Christopher Beck, Barbara M. Smith
2009	J	`jnl`	Principles for the Design of Large Neighborhood Search. J. Math. Model. Algorithms Tom Carchrae, J. Christopher Beck
2009	J	`jnl`	Scheduling with uncertain durations: Modeling beta-robust scheduling with constraints. Comput. Oper. Res. Christine Wei Wu, Kenneth N. Brown, J. Christopher Beck
2009	A	`conf`	Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition. CP Mohammad M. Fazel-Zarandi, J. Christopher Beck
2008	J	`jnl`	A Constraint Programming Approach for Solving a Queueing Control Problem. J. Artif. Intell. Res. Daria Terekhov, J. Christopher Beck
2008	B	`conf`	A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem. CPAIOR Jean-Paul Watson, J. Christopher Beck
2008	J	`jnl`	A Space-Efficient Backtrack-Free Representation for Constraint Satisfaction Problems. Int. J. Artif. Intell. Tools J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski
2008	J	`jnl`	A global constraint for total weighted completion time for cumulative resources. Eng. Appl. Artif. Intell. András Kovács, J. Christopher Beck
2008	B	`conf`	Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs. CPAIOR Ivan Heckman, J. Christopher Beck
2008	A	`conf`	Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. CP Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
2008	A*	`ed.`	Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008 ICAPS Jussi Rintanen, Bernhard Nebel, J. Christopher Beck, Eric A. Hansen
2007	A*	`conf`	A General Framework for Scheduling in a Stochastic Environment. IJCAI Julien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck
2007	B	`conf`	A Global Constraint for Total Weighted Completion Time. CPAIOR András Kovács, J. Christopher Beck
2007	J	`jnl`	Managing restaurant tables using constraints. Knowl. Based Syst. Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck
2007	J	`jnl`	Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations. J. Artif. Intell. Res. J. Christopher Beck, Nic Wilson
2007	J	`jnl`	Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling. J. Artif. Intell. Res. J. Christopher Beck
2007	B	`conf`	Solving a Stochastic Queueing Control Problem with Constraint Programming. CPAIOR Daria Terekhov, J. Christopher Beck
2007	A*	`conf`	Solving a Stochastic Queueing Design and Control Problem with Constraint Programming. AAAI Daria Terekhov, J. Christopher Beck, Kenneth N. Brown
2007	—	`conf`	What's Your Problem? The Problem of Problem Definition. SARA J. Christopher Beck, Michael Grüninger
2006	J	`jnl`	A case study of mutual routing-scheduling reformulation. J. Sched. J. Christopher Beck, Patrick Prosser, Evgeny Selensky
2006	A*	`conf`	An Empirical Study of Multi-Point Constructive Search for Constraint-Based Scheduling. ICAPS J. Christopher Beck
2006	B	`ed.`	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings CPAIOR J. Christopher Beck, Barbara M. Smith
2006	—	`conf`	Managing Restaurant Tables using Constraints. SGAI Conf. (Applications) Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck
2005	J	`jnl`	Applying Machine Learning to Low-Knowledge Control of Optimization Algorithms. Comput. Intell. Tom Carchrae, J. Christopher Beck
2005	—	`conf`	Learning Abstract Scheduling Models. SARA Tom Carchrae, J. Christopher Beck
2005	A	`conf`	Methods to Learn Abstract Scheduling Models. CP Tom Carchrae, J. Christopher Beck, Eugene C. Freuder
2005	A	`conf`	Multi-point Constructive Search. CP J. Christopher Beck
2005	A*	`conf`	Proactive Algorithms for Scheduling with Probabilistic Durations. IJCAI J. Christopher Beck, Nic Wilson
2005	A	`conf`	Robust Constraint Solving Using Multiple Heuristics. CP Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck
2005	A	`conf`	Scheduling with Uncertain Start Dates. CP Christine Wei Wu, Kenneth N. Brown, J. Christopher Beck
2004	A	`conf`	Backtrack-Free Search for Real-Time Constraint Satisfaction. CP J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski
2004	A	`conf`	Failing First: An Update. ECAI J. Christopher Beck, Patrick Prosser, Richard J. Wallace
2004	A	`conf`	Job Shop Scheduling with Probabilistic Durations. ECAI J. Christopher Beck, Nic Wilson
2004	A*	`conf`	Low-Knowledge Algorithm Control. AAAI Tom Carchrae, J. Christopher Beck
2004	B	`conf`	Simple Rules for Low-Knowledge Algorithm Selection. CPAIOR J. Christopher Beck, Eugene C. Freuder
2004	—	`conf`	Trying Again to Fail-First. CSCLP J. Christopher Beck, Patrick Prosser, Richard J. Wallace
2004	A	`conf`	Variable Ordering Heuristics Show Promise. CP J. Christopher Beck, Patrick Prosser, Richard J. Wallace
2003	J	`jnl`	A Hybrid Approach to Scheduling with Earliness and Tardiness Costs. Ann. Oper. Res. J. Christopher Beck, Philippe Refalo
2003	J	`jnl`	Problem difficulty for tabu search in job-shop scheduling. Artif. Intell. Jean-Paul Watson, J. Christopher Beck, Adele E. Howe, L. Darrell Whitley
2003	A*	`conf`	Vehicle Routing and Job Shop Scheduling: What's the Difference? ICAPS J. Christopher Beck, Patrick Prosser, Evgeny Selensky
2002	B	`conf`	Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems. ICGT J. Christopher Beck, Patrick Prosser, Evgeny Selensky
2002	—	`conf`	On the Reformulation of Vehicle Routing Problems and Scheduling Problems. SARA J. Christopher Beck, Patrick Prosser, Evgeny Selensky
2000	J	`jnl`	Constraint-directed techniques for scheduling alternative activities. Artif. Intell. J. Christopher Beck, Mark S. Fox
2000	J	`jnl`	Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics. Artif. Intell. J. Christopher Beck, Mark S. Fox
2000	—	`conf`	Heuristics for Constraint-Directed Scheduling with Inventory. AIPS J. Christopher Beck
2000	J	`jnl`	Introduction. Constraints An Int. J. J. Christopher Beck, Andrew J. Davenport, Claude Le Pape
1999	—	`conf`	Scheduling Alternative Activities. AAAI/IAAI J. Christopher Beck, Mark S. Fox
1999	—	`—`	Texture measurements as a basis for heuristic commitment techniques in constraint-directed scheduling. J. Christopher Beck
1998	J	`jnl`	A Generic Framework for Constraint-Directed Search and Scheduling. AI Mag. J. Christopher Beck, Mark S. Fox
1997	—	`conf`	Beyond Contention: Extending Texture-Based Scheduling Heuristics. AAAI/IAAI J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox
1997	A	`conf`	Five Pitfalls of Empirical Scheduling Research. CP J. Christopher Beck, Andrew J. Davenport, Mark S. Fox
1997	—	`conf`	Texture-Based Heuristics for Scheduling Revisited. AAAI/IAAI J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox