


default search action
J. Christopher Beck
Person information
- affiliation: Department of Mechanical & Industrial Engineering, University of Toronto, Canada
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j56]Litong Zheng
, J. Christopher Beck, Sebastian Mafeld, Matteo Parotto, Amanda Matthews, Sheryl Alexandre, Aaron Conway
:
Determining pre-procedure fasting alert time using procedural and scheduling data. Health Informatics J. 30(2) (2024) - [j55]Jiachen Zhang
, Youcef Magnouche, Pierre Bauguion, Sébastien Martin
, J. Christopher Beck
:
Computing Bipath Multicommodity Flows with Constraint Programming-Based Branch-and-Price-and-Cut. INFORMS J. Comput. 36(6): 1634-1653 (2024) - [c110]Christian Muise, Sheila A. McIlraith, J. Christopher Beck:
PRP Rebooted: Advancing the State of the Art in FOND Planning. AAAI 2024: 20212-20221 - [c109]Ryo Kuroiwa, J. Christopher Beck:
Parallel Beam Search Algorithms for Domain-Independent Dynamic Programming. AAAI 2024: 20743-20750 - [c108]Adam Francis Green, J. Christopher Beck, Amanda Jane Coles:
Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning. CP 2024: 12:1-12:17 - [c107]Jiachen Zhang, J. Christopher Beck:
Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming. CP 2024: 32:1-32:21 - [i10]Ryo Kuroiwa, J. Christopher Beck:
Domain-Independent Dynamic Programming. CoRR abs/2401.13883 (2024) - 2023
- [c106]Stephan A. Fahrenkrog-Petersen
, Arik Senderovich, Alexandra Tichauer, Ali Kaan Tutak, J. Christopher Beck, Matthias Weidlich:
Privacy Attacks on Schedule-Driven Data. AAAI 2023: 11972-11979 - [c105]Ryo Kuroiwa
, J. Christopher Beck:
Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization. ICAPS 2023: 236-244 - [c104]Ryo Kuroiwa
, J. Christopher Beck:
Solving Domain-Independent Dynamic Programming Problems with Anytime Heuristic Search. ICAPS 2023: 245-253 - [c103]Alexander Shleyfman, Ryo Kuroiwa
, J. Christopher Beck:
Symmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning. ICAPS 2023: 393-401 - [c102]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: 477-482 - [c101]Arnoosh Golestanian, Giovanni Lo Bianco, Chengyu Tao, J. Christopher Beck:
Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities. CP 2023: 17:1-17:17 - [c100]Ryo Kuroiwa, J. Christopher Beck:
Large Neighborhood Beam Search for Domain-Independent Dynamic Programming. CP 2023: 23:1-23:22 - [c99]Anton Korikov
, J. Christopher Beck
:
Objective-Based Counterfactual Explanations for Linear Discrete Optimization. CPAIOR 2023: 18-34 - [c98]Ryo Kuroiwa
, Alexander Shleyfman
, J. Christopher Beck
:
Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning. ECAI 2023: 1332-1339 - [i9]Christian Muise, Sheila A. McIlraith, J. Christopher Beck:
PRP Rebooted: Advancing the State of the Art in FOND Planning. CoRR abs/2312.11675 (2023) - 2022
- [j54]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: 78044-78055 (2022) - [j53]Margarita P. Castro
, André Augusto Ciré
, J. Christopher Beck
:
Decision Diagrams for Discrete Optimization: A Survey of Recent Advances. INFORMS J. Comput. 34(4): 2271-2295 (2022) - [j52]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: 1477-1548 (2022) - [j51]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): 115-171 (2022) - [c97]Ryo Kuroiwa, Alexander Shleyfman, J. Christopher Beck:
LM-Cut Heuristics for Optimal Linear Numeric Planning. ICAPS 2022: 203-212 - [c96]Ryo Kuroiwa, J. Christopher Beck:
Biased Exploration for Satisficing Heuristic Search. ICAPS 2022: 213-221 - [c95]Jiachen Zhang, Giovanni Lo Bianco
, J. Christopher Beck:
Solving Job-Shop Scheduling Problems with QUBO-Based Specialized Hardware. ICAPS 2022: 404-412 - [c94]Yiqing L. Luo, J. Christopher Beck:
Packing by Scheduling: Using Constraint Programming to Solve a Complex 2D Cutting Stock Problem. CPAIOR 2022: 249-265 - [c93]Jiachen Zhang, Giovanni Lo Bianco, J. Christopher Beck:
Model-Based Approaches to Multi-attribute Diverse Matching. CPAIOR 2022: 424-440 - [i8]Ryo Kuroiwa
, J. Christopher Beck:
Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization. CoRR abs/2211.14409 (2022) - 2021
- [c92]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: 210-218 - [c91]Anton Korikov, J. Christopher Beck:
Counterfactual Explanations via Inverse Constraint Programming. CP 2021: 35:1-35:16 - [c90]Eldan Cohen, J. Christopher Beck:
Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding. CPAIOR 2021: 115-132 - [c89]Anton Korikov, Alexander Shleyfman, J. Christopher Beck:
Counterfactual Explanations for Optimization-Based Decisions in the Context of the GDPR. IJCAI 2021: 4097-4103 - [c88]Shane Bergsma, Timothy Zeyl, Arik Senderovich, J. Christopher Beck:
Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks. SOSP 2021: 376-391 - 2020
- [j50]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): 263-278 (2020) - [j49]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: 607-651 (2020) - [j48]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): 6702-6709 (2020) - [c87]Eldan Cohen, Arik Senderovich, J. Christopher Beck:
An Ising Framework for Constrained Clustering on Special Purpose Hardware. CPAIOR 2020: 130-147 - [c86]Tanya Y. Tang, J. Christopher Beck:
CP and Hybrid Models for Two-Stage Batching and Scheduling. CPAIOR 2020: 431-446 - [e6]J. Christopher Beck, Olivier Buffet, Jörg Hoffmann, Erez Karpas, Shirin Sohrabi:
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020. AAAI Press 2020, ISBN 978-1-57735-824-4 [contents]
2010 – 2019
- 2019
- [j47]Bahar Aameri, Hyunmin Cheong, J. Christopher Beck:
Towards an ontology for generative design of mechanical assemblies. Appl. Ontology 14(2): 127-153 (2019) - [j46]Chiara Piacentini, Sara Bernardini, J. Christopher Beck:
Autonomous Target Search with Multiple Coordinated UAVs. J. Artif. Intell. Res. 65: 519-568 (2019) - [c85]Arik Senderovich, J. Christopher Beck, Avigdor Gal, Matthias Weidlich:
Congestion Graphs for Automated Time Predictions. AAAI 2019: 4854-4861 - [c84]Amanda Jane Coles, Andrew Coles, J. Christopher Beck:
Efficient Temporal Planning Using Metastates. AAAI 2019: 7554-7561 - [c83]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: 77-85 - [c82]Arik Senderovich, Kyle E. C. Booth, J. Christopher Beck:
Learning Scheduling Models from Event Data. ICAPS 2019: 401-409 - [c81]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: 401-417 - [c80]Kyle E. C. Booth, J. Christopher Beck:
A Constraint Programming Approach to Electric Vehicle Routing with Time Windows. CPAIOR 2019: 129-145 - [c79]Eldan Cohen, J. Christopher Beck:
Empirical Analysis of Beam Search Performance Degradation in Neural Sequence Models. ICML 2019: 1290-1299 - 2018
- [j45]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): 335-354 (2018) - [j44]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): 251-267 (2018) - [c78]Eldan Cohen, J. Christopher Beck:
Fat- and Heavy-Tailed Behavior in Satisficing Planning. AAAI 2018: 6136-6143 - [c77]Chiara Piacentini, Margarita P. Castro, André Augusto Ciré, J. Christopher Beck:
Linear and Integer Programming-Based Heuristics for Cost-Optimal Numeric Planning. AAAI 2018: 6254-6261 - [c76]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: 366-374 - [c75]Chiara Piacentini, Margarita P. Castro, André Augusto Ciré, J. Christopher Beck:
Compiling Optimal Numeric Planning to Mixed Integer Linear Programming. ICAPS 2018: 383-387 - [c74]Chang Liu, Dionne M. Aleman, J. Christopher Beck:
Modelling and Solving the Senior Transportation Problem. CPAIOR 2018: 412-428 - [c73]Eldan Cohen, J. Christopher Beck:
Local Minima, Heavy Tails, and Search Effort for GBFS. IJCAI 2018: 4708-4714 - [i7]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 abs/1803.06775 (2018) - [i6]J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan van Hoeve:
Planning and Operations Research (Dagstuhl Seminar 18071). Dagstuhl Reports 8(2): 26-63 (2018) - 2017
- [j43]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): 14-21 (2017) - [j42]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: 523-590 (2017) - [c72]Eldan Cohen, J. Christopher Beck:
Problem Difficulty and the Phase Transition in Heuristic Search. AAAI 2017: 780-786 - [c71]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 - [c70]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 - [c69]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: 202-206 - [c68]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: 5080-5084 - [c67]Eldan Cohen, Guoyu Huang, J. Christopher Beck:
(I Can Get) Satisfaction: Preference-Based Scheduling for Concert-Goers at Multi-venue Music Festivals. SAT 2017: 147-163 - [c66]Eldan Cohen, J. Christopher Beck:
Cost-Based Heuristics and Node Re-Expansions across the Phase Transition. SOCS 2017: 11-19 - [e5]J. Christopher Beck:
Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings. Lecture Notes in Computer Science 10416, Springer 2017, ISBN 978-3-319-66157-5 [contents] - 2016
- [j41]Chee Loong Soon, Wen-Yang Ku
, J. Christopher Beck:
ℚ-bounds consistency for the spread constraint with variable mean. Constraints An Int. J. 21(4): 646-652 (2016) - [j40]Wen-Yang Ku, J. Christopher Beck:
Mixed Integer Programming models for job shop scheduling: A computational analysis. Comput. Oper. Res. 73: 165-173 (2016) - [j39]Tony T. Tran, Arthur Araujo, J. Christopher Beck:
Decomposition Methods for the Parallel Machine Scheduling Problem with Setups. INFORMS J. Comput. 28(1): 83-95 (2016) - [j38]Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Optimal Partial-Order Plan Relaxation via MaxSAT. J. Artif. Intell. Res. 57: 113-149 (2016) - [j37]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): 500-507 (2016) - [c65]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 - [c64]Wen-Yang Ku, J. Christopher Beck:
Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems. CP 2016: 316-332 - [c63]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: 539-555 - [c62]Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck:
Logic-Based Decomposition Methods for the Travelling Purchaser Problem. CPAIOR 2016: 55-64 - [c61]Buser Say, André A. Ciré, J. Christopher Beck:
Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility. ECAI 2016: 1044-1052 - [c60]Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck:
Decomposition Methods for the Travelling Purchaser Problem. ISAIM 2016 - [c59]Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith:
Using Metric Temporal Logic to Specify Scheduling Problems. KR 2016: 581-584 - [c58]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: 98-106 - 2015
- [j36]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): 471-486 (2015) - [c57]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 - [c56]Wen-Yang Ku, J. Christopher Beck:
Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem. CPAIOR 2015: 231-239 - [i5]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): 90-101 (2015) - 2014
- [j35]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): 195-219 (2014) - [j34]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: 535-572 (2014) - [c55]Wen-Yang Ku, Thiago Pinheiro, J. Christopher Beck:
CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem. CP 2014: 424-439 - [c54]Sebastian Kosch, J. Christopher Beck:
A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes. CPAIOR 2014: 55-70 - [c53]Wen-Yang Ku, J. Christopher Beck:
Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems. CPAIOR 2014: 334-350 - [c52]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: 5292-5298 - [i4]Maliheh Aramon Bajestani, J. Christopher Beck:
Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources. CoRR abs/1402.0582 (2014) - 2013
- [j33]Andrea Rendl, J. Christopher Beck:
Introduction to the special issue on constraint modelling and reformulation. Constraints An Int. J. 18(2): 141-143 (2013) - [j32]Stefan Heinz, Jens Schulz, J. Christopher Beck:
Using dual presolving reductions to reformulate cumulative constraints. Constraints An Int. J. 18(2): 166-201 (2013) - [j31]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): 1967-1979 (2013) - [j30]Maliheh Aramon Bajestani, J. Christopher Beck:
Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources. J. Artif. Intell. Res. 47: 35-70 (2013) - [j29]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): 215-230 (2013) - [c51]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 - [c50]Stefan Heinz, Wen-Yang Ku, J. Christopher Beck:
Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling. CPAIOR 2013: 12-27 - [c49]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: 284-299 - [c48]Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Flexible Execution of Partial Order Plans With Temporal Constraints. IJCAI 2013: 2328-2335 - [c47]Maher A. Alhossaini, J. Christopher Beck:
Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing Operators. SARA 2013 - [c46]J. Christopher Beck:
Modeling, Global Constraints, and Decomposition. SARA 2013 - [c45]J. Christopher Beck, Gene Cooperman:
Invited Speakers. SOCS 2013 - 2012
- [j28]Lei Duan, Mustafa K. Dogru, Ulas Özen
, J. Christopher Beck:
A negotiation framework for linked combinatorial optimization problems. Auton. Agents Multi Agent Syst. 25(1): 158-182 (2012) - [j27]Daria Terekhov, Mustafa K. Dogru, Ulas Özen
, J. Christopher Beck:
Solving two-machine assembly scheduling problems with inventory constraints. Comput. Ind. Eng. 63(1): 120-134 (2012) - [j26]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): 387-398 (2012) - [j25]Jill R. Hardin, Allen Holder, J. Christopher Beck, Kevin C. Furman, Arthur Hanna, David J. Rader Jr., César Rego
:
Recommendations for an Undergraduate Curriculum at the Interface of Operations Research and Computer Science. INFORMS Trans. Educ. 12(3): 117-123 (2012) - [c44]Maher A. Alhossaini, J. Christopher Beck:
Macro Learning in Planning as Parameter Configuration. Canadian AI 2012: 13-24 - [c43]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu:
Dsharp: Fast d-DNNF Compilation with sharpSAT. Canadian AI 2012: 356-361 - [c42]Peter Gregory, Derek Long, Maria Fox, J. Christopher Beck:
Planning Modulo Theories: Extending the Planning Paradigm. ICAPS 2012 - [c41]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Improved Non-Deterministic Planning by Exploiting State Relevance. ICAPS 2012 - [c40]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Optimally Relaxing Partial-Order Plans with MaxSAT. ICAPS 2012 - [c39]Daria Terekhov, Tony T. Tran, Douglas G. Down, J. Christopher Beck:
Long-Run Stability in Dynamic Scheduling. ICAPS 2012 - [c38]Stefan Heinz, J. Christopher Beck:
Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling. CPAIOR 2012: 211-227 - [c37]Tony T. Tran, J. Christopher Beck:
Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups. ECAI 2012: 774-779 - 2011
- [j24]András Kovács, J. Christopher Beck:
A global constraint for total weighted completion time for unary resources. Constraints An Int. J. 16(1): 100-123 (2011) - [j23]J. Christopher Beck, T. K. Feng, Jean-Paul Watson:
Combining Constraint Programming and Local Search for Job-Shop Scheduling. INFORMS J. Comput. 23(1): 1-14 (2011) - [j22]Ivan Heckman, J. Christopher Beck:
Understanding the behavior of Solution-Guided Search for job-shop scheduling. J. Sched. 14(2): 121-140 (2011) - [c36]Maliheh Aramon Bajestani, J. Christopher Beck:
Scheduling an Aircraft Repair Shop. ICAPS 2011 - [c35]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Monitoring the Execution of Partial-Order Plans via Regression. IJCAI 2011: 1975-1982 - [e4]