default search action
J. Christopher Beck
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j55]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) - [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]Tobias Achterberg, J. Christopher Beck:
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. Lecture Notes in Computer Science 6697, Springer 2011, ISBN 978-3-642-21310-6 [contents] - [i3]J. Christopher Beck, Nic Wilson:
Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations. CoRR abs/1110.2732 (2011) - [i2]J. Christopher Beck:
Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling. CoRR abs/1110.2743 (2011) - [i1]Daria Terekhov, J. Christopher Beck:
A Constraint Programming Approach for Solving a Queueing Control Problem. CoRR abs/1111.0060 (2011) - 2010
- [j21]Vadim Bulitko, J. Christopher Beck:
SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation. AI Mag. 31(2): 95-96 (2010) - [c34]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu:
Fast d-DNNF Compilation with sharpSAT. Abstraction, Reformulation, and Approximation 2010 - [c33]J. Christopher Beck:
Checking-Up on Branch-and-Check. CP 2010: 84-98
2000 – 2009
- 2009
- [j20]J. Christopher Beck, Barbara M. Smith:
Introduction to the special volume on constraint programming, artificial intelligence, and operations research. Ann. Oper. Res. 171(1): 1-2 (2009) - [j19]Christine Wei Wu, Kenneth N. Brown, J. Christopher Beck:
Scheduling with uncertain durations: Modeling beta-robust scheduling with constraints. Comput. Oper. Res. 36(8): 2348-2356 (2009) - [j18]Daria Terekhov, J. Christopher Beck:
An extended queueing control model for facilities with front room and back room operations and mixed-skilled workers. Eur. J. Oper. Res. 198(1): 223-231 (2009) - [j17]Daria Terekhov, J. Christopher Beck, Kenneth N. Brown:
A Constraint Programming Approach for Solving a Queueing Design and Control Problem. INFORMS J. Comput. 21(4): 549-561 (2009) - [j16]Tom Carchrae, J. Christopher Beck:
Principles for the Design of Large Neighborhood Search. J. Math. Model. Algorithms 8(3): 245-270 (2009) - [j15]Julien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck:
A theoretic and practical framework for scheduling in a stochastic environment. J. Sched. 12(3): 315-344 (2009) - [c32]Mohammad M. Fazel-Zarandi, J. Christopher Beck:
Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition. CP 2009: 344-351 - [e3]Vadim Bulitko, J. Christopher Beck:
Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009. AAAI 2009 [contents] - 2008
- [j14]András Kovács, J. Christopher Beck:
A global constraint for total weighted completion time for cumulative resources. Eng. Appl. Artif. Intell. 21(5): 691-697 (2008) - [j13]J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski:
A Space-Efficient Backtrack-Free Representation for Constraint Satisfaction Problems. Int. J. Artif. Intell. Tools 17(4): 703-730 (2008) - [j12]Daria Terekhov, J. Christopher Beck:
A Constraint Programming Approach for Solving a Queueing Control Problem. J. Artif. Intell. Res. 32: 123-167 (2008) - [c31]Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. CP 2008: 613-617 - [c30]Ivan Heckman, J. Christopher Beck:
Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs. CPAIOR 2008: 112-126 - [c29]Jean-Paul Watson, J. Christopher Beck:
A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem. CPAIOR 2008: 263-277 - [e2]Jussi Rintanen, Bernhard Nebel, J. Christopher Beck, Eric A. Hansen:
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008. AAAI 2008, ISBN 978-1-57735-386-7 [contents] - 2007
- [j11]J. Christopher Beck, Nic Wilson:
Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations. J. Artif. Intell. Res. 28: 183-232 (2007) - [j10]J. Christopher Beck:
Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling. J. Artif. Intell. Res. 29: 49-77 (2007) - [j9]Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck:
Managing restaurant tables using constraints. Knowl. Based Syst. 20(2): 160-169 (2007) - [c28]Daria Terekhov, J. Christopher Beck, Kenneth N. Brown:
Solving a Stochastic Queueing Design and Control Problem with Constraint Programming. AAAI 2007: 261-266 - [c27]András Kovács, J. Christopher Beck:
A Global Constraint for Total Weighted Completion Time. CPAIOR 2007: 112-126 - [c26]Daria Terekhov, J. Christopher Beck:
Solving a Stochastic Queueing Control Problem with Constraint Programming. CPAIOR 2007: 303-317 - [c25]Julien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck:
A General Framework for Scheduling in a Stochastic Environment. IJCAI 2007: 56-61 - [c24]J. Christopher Beck, Michael Grüninger:
What's Your Problem? The Problem of Problem Definition. SARA 2007: 393-394 - 2006
- [j8]J. Christopher Beck, Patrick Prosser, Evgeny Selensky:
A case study of mutual routing-scheduling reformulation. J. Sched. 9(5): 469-491 (2006) - [c23]J. Christopher Beck:
An Empirical Study of Multi-Point Constructive Search for Constraint-Based Scheduling. ICAPS 2006: 274-283 - [c22]Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck:
Managing Restaurant Tables using Constraints. SGAI Conf. (Applications) 2006: 3-16 - [e1]J. Christopher Beck, Barbara M. Smith:
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. Lecture Notes in Computer Science 3990, Springer 2006, ISBN 3-540-34306-7 [contents] - 2005
- [j7]Tom Carchrae, J. Christopher Beck:
Applying Machine Learning to Low-Knowledge Control of Optimization Algorithms. Comput. Intell. 21(4): 372-387 (2005) - [c21]J. Christopher Beck:
Multi-point Constructive Search. CP 2005: 737-741 - [c20]Tom Carchrae, J. Christopher Beck, Eugene C. Freuder:
Methods to Learn Abstract Scheduling Models. CP 2005: 842 - [c19]Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck:
Robust Constraint Solving Using Multiple Heuristics. CP 2005: 871 - [c18]Christine Wei Wu, Kenneth N. Brown, J. Christopher Beck:
Scheduling with Uncertain Start Dates. CP 2005: 872 - [c17]J. Christopher Beck, Nic Wilson:
Proactive Algorithms for Scheduling with Probabilistic Durations. IJCAI 2005: 1201-1206 - [c16]Tom Carchrae, J. Christopher Beck:
Learning Abstract Scheduling Models. SARA 2005: 354-355 - 2004
- [c15]Tom Carchrae, J. Christopher Beck:
Low-Knowledge Algorithm Control. AAAI 2004: 49-54 - [c14]J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski:
Backtrack-Free Search for Real-Time Constraint Satisfaction. CP 2004: 92-106 - [c13]J. Christopher Beck, Patrick Prosser, Richard J. Wallace:
Variable Ordering Heuristics Show Promise. CP 2004: 711-715 - [c12]J. Christopher Beck, Eugene C. Freuder:
Simple Rules for Low-Knowledge Algorithm Selection. CPAIOR 2004: 50-64 - [c11]J. Christopher Beck, Patrick Prosser, Richard J. Wallace:
Trying Again to Fail-First. CSCLP 2004: 41-55 - [c10]J. Christopher Beck, Nic Wilson:
Job Shop Scheduling with Probabilistic Durations. ECAI 2004: 652-656 - [c9]J. Christopher Beck, Patrick Prosser, Richard J. Wallace:
Failing First: An Update. ECAI 2004: 959-960 - 2003
- [j6]Jean-Paul Watson, J. Christopher Beck, Adele E. Howe, L. Darrell Whitley:
Problem difficulty for tabu search in job-shop scheduling. Artif. Intell. 143(2): 189-217 (2003) - [j5]J. Christopher Beck, Philippe Refalo:
A Hybrid Approach to Scheduling with Earliness and Tardiness Costs. Ann. Oper. Res. 118(1-4): 49-71 (2003) - [c8]J. Christopher Beck, Patrick Prosser, Evgeny Selensky:
Vehicle Routing and Job Shop Scheduling: What's the Difference? ICAPS 2003: 267-276 - 2002
- [c7]J. Christopher Beck, Patrick Prosser, Evgeny Selensky:
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems. ICGT 2002: 60-74 - [c6]J. Christopher Beck, Patrick Prosser, Evgeny Selensky:
On the Reformulation of Vehicle Routing Problems and Scheduling Problems. SARA 2002: 282-289 - 2000
- [j4]J. Christopher Beck, Mark S. Fox:
Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics. Artif. Intell. 117(1): 31-81 (2000) - [j3]J. Christopher Beck, Mark S. Fox:
Constraint-directed techniques for scheduling alternative activities. Artif. Intell. 121(1-2): 211-250 (2000) - [j2]J. Christopher Beck, Andrew J. Davenport, Claude Le Pape:
Introduction. Constraints An Int. J. 5(4): 327-334 (2000) - [c5]J. Christopher Beck:
Heuristics for Constraint-Directed Scheduling with Inventory. AIPS 2000: 22-31
1990 – 1999
- 1999
- [b1]J. Christopher Beck:
Texture measurements as a basis for heuristic commitment techniques in constraint-directed scheduling. University of Toronto, Canada, 1999 - [c4]J. Christopher Beck, Mark S. Fox:
Scheduling Alternative Activities. AAAI/IAAI 1999: 680-687 - 1998
- [j1]J. Christopher Beck, Mark S. Fox:
A Generic Framework for Constraint-Directed Search and Scheduling. AI Mag. 19(4): 101-130 (1998) - 1997
- [c3]J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox:
Beyond Contention: Extending Texture-Based Scheduling Heuristics. AAAI/IAAI 1997: 233-240 - [c2]J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox:
Texture-Based Heuristics for Scheduling Revisited. AAAI/IAAI 1997: 241-248 - [c1]J. Christopher Beck, Andrew J. Davenport, Mark S. Fox:
Five Pitfalls of Empirical Scheduling Research. CP 1997: 390-404
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-02 00:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint