The Toronto Intelligent Decision Engineering Laboratory
homepeoplepublicationsprojectscontact

Publications

    Books

  1. Beck, J.C., Buffet, O., Hoffmann, J., Karpas, E., & Sohrabi, S., eds., Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, AAAI Press, 2020.
  2. Beck, J.C. ed., Proceedings of the Twenty-Third International Conference on the Principles and Practice of Constraint Programming, Lecture Notes in Computer Science Series, 10416, ISBN 978-3-319-66157-5, Springer Nature, 2017.
  3. Achterberg, T. & Beck, J.C. eds., Proceedings of the Eighth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Lecture Notes in Computer Science Series, 6697, ISBN 978-3-642-21310-6, Springer-Verlag, 2011.
  4. Bulitko, V. & Beck, J.C., eds. Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, ISBN 978-1-57735-433-8, AAAI Press, 2009.
  5. Rintanen, J., Nebel, B., Beck, J.C., & Hansen, E. eds., Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ISBN 978-1-57735-386-7, AAAI Press, 2008.
  6. Beck, J.C. & Smith, B.M. eds., Proceedings of the Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Lecture Notes in Computer Science Series, 3990, ISBN 3-540-34306-7, Springer-Verlag, 2006.

    7. Refereed Journals

    Journal links point to the corresponding electronic journal. If your library doesn't have access to these journals, email me for a copy of the paper.

  7. Zheng, L., Beck, J.C., Mafeld, S., Marotto, M., Matthews, A., Alexandre, S., & Conway, A., Determining Pre-procedure Fasting Alert Time Using Procedural and Scheduling Data,. Health Informatics Journal, in press, accepted April 2024.
  8. Zhang, J., Magnouche, Y., Bauguion, P., Martin, S., & Beck, J.C., Computing Bi-Path Multi-Commodity Flows with Constraint Programming-based Branch-and-Price-and-Cut, INFORMS Journal on Computing, accepted Nov 2023. (post-print)
  9. Kuroiwa, R., Shleyfman, A., Piacentini, C., Castro, M.P., & Beck, J.C., The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions, Journal of Artificial Intelligence Research, 75, 1477-1548, 2022.
  10. Senderovich, A., Zhang, J., Cohen, E., & Beck, J.C., Exploiting Hardware and Software Advances for Quadratic Models of Wind Farm Layout Optimization, IEEE Access, 10, 78044-78055, 2022.
  11. Castro, M.P., Cire, A.A., & Beck, J.C., Decision Diagrams for Discrete Optimization: A Survey of Recent Advances, INFORMS Journal on Computing, 34(4), 2271-2295, 2022. (post-print)
  12. Castro, M.P., Cire, A.A., & Beck, J.C., A Combinatorial Cut-and-Lift Procedure with an Application to 0-1 Second-Order Conic Programming, Mathematical Programming, 196, 115-171, 2022. (post-print)
  13. Booth, K.E.C., Piacentini, C., Bernardini, S., & Beck, J.C., Target Search on Road Networks with Range-Constrained UAVs and Ground-based Mobile Recharging Vehicles, IEEE Robotics and Automation Letters and Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS2020), 5(4), 6702-6709, 2020. (post-print)
  14. Castro, M.P., Cire, A.A., & Beck, J.C., An MDD-based Lagrangian Approach to the Multi-Commodity Pickup-and-Delivery TSP, INFORMS Journal on Computing, 32(2), 263-278, 2020. (post-print)
  15. Castro, M.P., Piacentini, C., Cire, A.A., & Beck, J.C., Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics, Journal of Artificial Intelligence Research, 607-651, 2020.
  16. Roshanaei, V., Booth, K.E.C., Aleman, D., Urbach, D., & Beck, J.C., Branch-and-Check Approaches for Multi-Level Operating Room Planning and Scheduling, International Journal of Production Economics, 220, 107433, 2020. (post-print).
  17. Piacentini, C., Bernardini, S., & Beck, J.C., Autonomous Target Search with Multiple Coordinated UAVs, Journal of Artificial Intelligence Research, 65, 519-568, 2019.
  18. Aameri, B., Cheong, H., & Beck, J.C., Towards an Ontology for Generative Design of Mechanical Assemblies, Applied Ontology, 14(2), 127-153, 2019. (post-print)
  19. Morin, M., Castro, M.P., Booth, K.E.C., Tran, T.T., Liu, C., & Beck, J.C., Intruder Alert! Optimization Models for Solving the Mobile Robot Graph-Clear Problem, Constraints, 23(3), 335-354, 2018. Winner of the Distinguished Paper Award at CPAIOR 2018. (post-print).
  20. Yamani Douzi Sorkhabi, S., Romero, D.A., Beck, J.C., & Amon, C.H., Constrained Multi-Objective Wind Farm Layout Optimization: Novel Constraint Handling Approach based on Constraint Programming, Renewable Energy, 126, 341-353, 2018. (post-print).
  21. Tran, T.T., Padmanabhan, M., Zhang, P.Y., Li, H., Down, D.G., & Beck, J.C., Multi-stage resource-aware scheduling for data centers with heterogeneous servers, Journal of Scheduling, 21(2), 251-267, 2018. (post-print).
  22. Booth, K.E.C., Mohamed, S.C., Rajaratnam, S., Nejat, G., & Beck, J.C., Robots in Retirement Homes: Person Search and Task Planning for a Group of Residents by a Team of Assistive Robots, IEEE Intelligent Systems, 32(6), 14-21, 2017. (post-print).
  23. Tran, T.T., Vaquero, T., Nejat, G., & Beck, J.C., Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots, Journal of Artificial Intelligence Research, 58, 523-590, 2017. (post-print).
  24. Loong, S.C., Ku, W.-Y., & Beck, J.C., Q-Bounds Consistency for the SPREAD Constraint with Variable Mean, Constraints, 21, 646-652, 2016. (post-print).
  25. Muise, C., Beck, J.C., & McIlraith, S.A. Optimal Partial-Order Plan Relaxation via MaxSAT, Journal of Artificial Intelligence Research, 57, 113-149, 2016.
  26. Kuo, J.Y.J., Romero, D.A., Beck, J.C., & Amon, C.H., Wind Farm Layout Optimization on Complex Terrains – Integrating a CFD Wake Model with Mixed-Integer Programming, Applied Energy, 178, 404-414, 2016 (post-print).
  27. Ku, W.-Y. & Beck J.C., Revisiting Off-the-Shelf Mixed Integer Programming and Constraint Programming Models for Job Shop Scheduling, Computers & Operations Research, 73, 165-173, 2016. (post-print).
  28. Booth, K.E.C., Tran, T.T., Nejat, G., & Beck J.C., Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning, IEEE Robotics and Automation Letters, 1(1), 500-507, 2016. (post-print).
  29. Tran, T. T., Araujo, A., & Beck J.C., Decomposition Methods for the Parallel Machine Scheduling Problem with Setups, INFORMS Journal on Computing, 28(1), 83-95, 2016. (post-print).
  30. Aramon Bajestani, M. & Beck J.C., A Two-Stage Coupled Algorithm for an Integrated Maintenance Planning and Flowshop Scheduling Problem with Deteriorating Machines, Journal of Scheduling, 18(5), 471-486, 2015. (post-print).
  31. Aramon Bajestani, M., Banjevic, D., & Beck J.C., Integrated Maintenance Planning and Production Scheduling with Markovian Deteriorating Machine Conditions, International Journal of Production Research, 52(24), 7377-7400, 2014.
  32. Hahn-Goldberg, S., Carter, M.W., Beck, J.C., Trudeau, M., Sousa, P. & Beattie, K., Dynamic Optimization of Chemotherapy Outpatient Scheduling With Uncertainty, Health Care Management Science, 17, 379-392, 2014.
  33. Terekhov, D., Down, D.G., & Beck J.C., Queueing-Theoretic Approaches for Dynamic Scheduling: A Survey, Surveys in Operations Research and Management Science, 19, 105-129, 2014.
  34. Hahn-Goldberg, S., Beck, J.C., Carter, M.W., Trudeau, M., Sousa, P. & Beattie, K., Solving the Chemotherapy Outpatient Scheduling Problem with Constraint Programming, Journal of Applied Operations Research, 6, 135-144, 2014.
  35. Zhang, P.Y., Romero, D.A., Beck, J.C., & Amon, C.H., Solving Wind Farm Layout Optimization with Mixed Integer Programs and Constraint Programs, EURO Journal on Computational Optimization, 2(3), 195-219, 2014.
  36. Terekhov, D., Tran, T.T., Down, D.G., & Beck J.C., Integrating Queueing Theory and Scheduling for Dynamic Scheduling Problems, Journal of Artificial Intelligence Research, 50, 535-572, 2014.
  37. Vaquero, T.S., Silva, J.R., & Beck, J.C., Post-Design Analysis for Building and Refining AI Planning Systems, Engineering Applications of Artificial Intelligence, 26(8), 1967-1979, 2013.
  38. Fazel-Zarandi, M.M., Berman, O., & Beck. J.C., Solving a Stochastic Facility Location/Fleet Management Problem with Logic-Based Benders Decomposition, IIE Transactions, 45(8), 896-911, 2013.
  39. Aramon Bajestani, M. & Beck, J.C., Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources, Journal of Artificial Intelligence Research, 47, 35-70, 2013.
  40. Vaquero, T.S., Silva, J.R., Tonidandel, F., & Beck, J.C., itSIMPLE: Towards an Integrated Design Systems for Real Planning Applications, The Knowledge Engineering Review, 28(2), 215-230, 2013. (authors' version)
  41. Heinz, S., Schulz, J., & Beck, J.C., Using Dual Presolving Reductions to Reformulate Cumulative Constraints, (author's version), Constraints, 18, 166-201, 2013.
  42. Fazel-Zarandi, M.M. & Beck, J.C., Using Logic-Based Benders Decomposition to Solve the Capacity and Distance Constrained Plant Location Problem, INFORMS Journal on Computing, 24, 399-415, 2012.
  43. Hardin, J.R., Holder, A., Beck. J.C., Furman, K., Hanna, A., Rader, D., & Rego, C., Recommendations for an Undergraduate Curriculum at the Interface of Operations Research and Computer Science, INFORMS Transactions on Education, 12(3), 118-123, 2012.
  44. Duan, L., Dogru, M.K., Ozen, U., & Beck, J.C., A Negotiation Framework For Linked Combinatorial Optimization Problems, Journal of Autonomous Agents and Multi-Agent Systems, 25(1), 158-182, 2012.
  45. Terekhov, D., Dogru, M.K., Ozen, U., & Beck. J.C., Solving Two-Machine Assembly Scheduling Problems With Inventory Constraints, Computers & Industrial Engineering, 63(1), 120-134, 2012.
  46. Heckman, I. & Beck, J.C., Understanding the Behavior of Solution-Guided Search for Job-Shop Scheduling, Journal of Scheduling, 14(2), 121-140, 2011.
  47. Beck, J.C., Feng, T.K., & Watson, J.-P., Combining Constraint Programming and Local Search for Job-Shop Scheduling, INFORMS Journal on Computing, 23(1), 1-14, 2011.
  48. Kovacs, A. & Beck, J.C., A Global Constraint for Total Weighted Completion Time for Unary Resources, Constraints, 16:100-123, 2011.
  49. Terekhov, D., Beck, J.C., & Brown, K.N., A Constraint Programming Approach for Solving a Queueing Design and Control Problem, INFORMS Journal on Computing, 21(4), 549-561, 2009.
  50. Carchrae, T. & Beck, J.C., Principles for the Design of Large Neighborhood Search, Journal of Mathematical Modelling and Algorithms, 8, 245-270, 2009.
  51. Bidot, J., Vidal, T., Laborie, P., & Beck, J.C., A Theoretic and Practical Framework for Scheduling in a Stochastic Environment, Journal of Scheduling, 12, 315-344, 2009.
  52. Terekhov, D. & Beck, J.C., An Extended Queueing Control Model for Facilities with Front Room and Back Room Operations and Mixed-Skilled Workers, European Journal of Operational Research, 198(1), 223-231, 2009.
  53. Wu, C.W., Brown, K.N., & Beck, J.C., Scheduling with Uncertain Durations: Modeling Beta-Robust Scheduling with Constraints, Computers & Operations Research, 36(8), 2348-2356, 2009.
  54. Beck, J.C., Carchrae, T., Freuder, E.C. & Ringwelski, G., A Space-Efficient Backtrack-free Representation for Constraint Satisfaction Problems, International Journal on Artificial Intelligence Tools, 17(4), 703-730, 2008.
  55. Terekhov, D. & Beck, J.C., A Constraint Programming Approach for Solving a Queueing Control Problem, Journal of Artificial Intelligence Research, 32, 123-167, 2008.
  56. Kovacs, A. & Beck, J.C., A Global Constraint for Total Weighted Completion Time for Cumulative Resources, Engineering Applications of Artificial Intelligence, 21(5), 691-697, 2008.
  57. Rendon, A., Beck, J.C., & Lilge, L., Treatment Planning Using Tailored and Standard Cylindrical Light Diffusers for Photodynamic Therapy of the Prostate, Physics in Medicine and Biology, 53, 1131-1149, 2008.
  58. Beck, J.C., Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling, Journal of Artificial Intelligence Research, 29, 49-77, 2007.
  59. Beck, J.C. & Wilson, N., Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations, Journal of Artificial Intelligence Research, 28, 183-232, 2007.
  60. Vidotto, A., Brown, K.N., & Beck, J.C., Managing Restaurant Tables using Constraints, Knowledge-Based Systems, 20, 160-169, 2007.
  61. Beck, J.C., Prosser, P., & Selensky, E., A Case Study of Mutual Routing-Scheduling Reformulation, Journal of Scheduling, 9(5), 469-491, 2006.
  62. Carchrae, T. & Beck, J.C., Applying Machine Learning to Low Knowledge Control of Optimization Algorithms, Computational Intelligence, 21(4), 372-387, 2005.
  63. Beck, J.C. & Refalo, P., A Hybrid Approach to Scheduling with Earliness and Tardiness Costs, Annals of Operations Research, 118(1-4), 49-71, 2003.
  64. Watson, J.-P., Beck, J.C., Howe, A.E. & Whitley, L.D. Problem Difficulty for Tabu Search in Job-Shop Scheduling, Artificial Intelligence, 143(2), 189-217, 2003.
  65. Beck, J.C., Heuristics for Scheduling with Inventory: Dynamic Focus via Constraint Criticality, Journal of Scheduling, 5(1), 2002.
  66. Beck, J.C. & Fox, M.S., Constraint Directed Techniques for Scheduling with Alternative Activities, Artificial Intelligence, 121(1-2), 211-250, 2000.
  67. Beck, J.C. & Fox, M.S., Dynamic Problem Structure Analysis as a Basis for Constraint-Directed Scheduling Heuristics, Artificial Intelligence, 117(1), 31-81, 2000.
  68. Beck, J.C., Davenport, A.J., Davis, E.D., & Fox, M.S., The ODO Project: Toward a Unified Basis for Constraint-Directed Scheduling, Journal of Scheduling, 1(2), 89-125, 1998.
  69. Beck, J.F. & Beck, J.C. Assigning Grades to Absent Students - Revisited, Journal of Chemical Education, 68, 319, 1991.

    70. Refereed Book Chapters

  70. Heckman, I. & Beck, J.C. Multi-Point Constructive Search for Constraint Satisfaction: An Overview, Trends in Constraint Programming, ISBN: 9781905209972. Wiley, 2007.
  71. Beck, J.C., Prosser, P. & Wallace, R.J. Trying Again to Fail First, Recent Advances in Constraints, Lecture Notes in Artificial Intelligence, Vol. 3419, Springer, 2005.

    72. Refereed Conferences

  72. Kuroiwa, R. & Beck, J.C., "Parallel Beam Search Algorithms for Domain-Independent Dynamic Programming", Proceedings of the Thirty-Eighth Annual AAAI Conference on Artificial Intelligence (AAAI2024), in press, 2024. (Online Appendix)
  73. Muise, C., Beck, J.C. & McIlraith, S.A., "PRP Rebooted: Advancing the State of the Art in FOND Planning", Proceedings of the Thirty-Eighth Annual AAAI Conference on Artificial Intelligence (AAAI2024), in press, 2024.
  74. Shleyfman, A., Kuroiwa, R., & Beck, J.C., "Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning", Proceedings of the Twenty-Sixth European Conference on Artificial Intelligence (ECAI2023), in press, 2023.
  75. Golestanian, A., Lo Bianco, G., Tao, C., & Beck, J.C., "Optimization Models for Pickup and Delivery Problems with Reconfigurable Capacities", Proceedings of the Twenty-Ninth International Conference on Principles and Practice of Constraint Programming (CP2023), in press, 2023.
  76. Kuroiwa, R. & Beck, J.C., "Large Neighborhood Beam Search for Domain-Independent Dynamic Programming", Proceedings of the Twenty-Ninth International Conference on Principles and Practice of Constraint Programming (CP2023), in press, 2023.
  77. Zhang, J., Magnouche, Y., Martin, S., Fressancourt, A., & Beck, J.C., "The Multi-Commodity Flow Problem with Disjoint Signaling Paths: A Branch-and-Benders-Cut Algorithm", Proceedings of the 10th International Conference on Control, Decision and Information Technologies (CoDIT2023), in press, 2023.
  78. Kuroiwa, R. & Beck, J.C., "Solving Domain-Independent Dynamic Programming Problems with Anytime Heuristic Search", Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS2023), 236-244, 2023. (Online Appendix) Runner-up for the Best Paper Award
  79. Kuroiwa, R. & Beck, J.C., "Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization", Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS2023), 245-253, 2023. (Online Appendix)
  80. Shleyfman, A., Kuroiwa, R., & Beck, J.C., "Symmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning", Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS2023), 393-401, 2023.
  81. Korikov, A & Beck, J.C., "Objective-Based Counterfactual Explanations for Linear Discrete Optimization", Proceedings of the Twentieth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2023), in press, 2023. Winner of the Best Paper Award
  82. Fahrenkrog-Petersen, S.A., Senderovich, A., Thichauer, A., Kaan Tutak, A., Beck, J.C., & Weidlich, M., "Privacy Attacks on Schedule-Driven Data", Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI2023), in press, 2023.
  83. Zhang, J., Lo Bianco, G., & Beck, J.C., "Solving Job-Shop Scheduling Problems with QUBO-Based Specialized Hardware", Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS2022), 404-412, 2022.
  84. Kuroiwa, R., Shleyfman, A., & Beck, J.C., "LM-Cut Heuristics for Optimal Linear Numeric Planning", Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS2022), 203-212, 2022. (supplemental material: proofs and experimental details)
  85. Kuroiwa, R. & Beck, J.C., "Biased Exploration for Satisficing Heuristic Search", Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS2022), 213-221, 2022.
  86. Luo, Y.L. & Beck, J.C., "Packing by Scheduling: Using Constraint Programming to Solve a Complex 2D Cutting Stock Problem", Proceedings of the Nineteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2022), 249-265, 2022.
  87. Zhang, J., Lo Bianco, G., & Beck, J.C., "Model-based Approaches to Multi-Attribute Diverse Matching", Proceedings of the Nineteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2022), 424-440, 2022. (Appendix).
  88. Bergsma, S., Zeyl, T., Senderovich, A., & Beck, J.C., "Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks", Proceedings of the Twenty-Eighth ACM Symposium on Operating Systems Principles (SOSP2021), 376-391, (post-print), 2021.
  89. Korikov, A. & Beck, J.C., "Counterfactual Explanations via Inverse Constraint Programming", Proceedings of the Twenty-Seventh International Conference on Principles and Practice of Constraint Programming (CP2021), 35:1-35:16, 2021.
  90. Korikov, A., Shleyfman, A., & Beck, J.C., "Counterfactual Explanations for Optimization-Based Decisions in the Context of the GDPR", Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI2021), 4097-4103, 2021. Also appeared in the 2021 International Workshop of Explainable Planning (XAIP2021).
  91. Cohen, E. & Beck, J.C., "Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding", Proceedings of the Eighteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2021), 115-132, 2021.
  92. Kuroiwa, R., Shleyfman, A., Piacentini, C., Castro, M.P., & Beck, J.C., "LM-cut and Operator Counting Heuristics for Optimal Numeric Planning with Simple Conditions", Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS2021), 210-218, 2021. (supplemental material: counter-examples and additional proofs)
  93. Tang, T.Y. & Beck, J.C., "CP and Hybrid Models for Two-Stage Batching and Scheduling", Proceedings of the Seventeenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2020), 431-446, 2020.
  94. Cohen, E., Senderovich, A., & Beck, J.C., "An Ising Framework for Constrained Clustering on Special Purpose Hardware", Proceedings of the Seventeenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2020), 130-147, 2020.
  95. Toro Icarte, R., Illanes, L., Castro, M., Cire, A.A., McIlraith, S.A., & Beck, J.C., "Training Binarized Neural Networks using MIP and CP", Proceedings of the Twenty-Fifth International Conference on Principles and Practice of Constraint Programming (CP2019), 401-417, 2019.
  96. Cohen, E. & Beck, J.C., "Empirical Analysis of Beam Search Performance Degradation in Neural Sequence Models", Proceedings of the Thirty-Sixth International Conference on Machine Learning (ICML2019), 97:1290-1299, 2019. (post-print).
  97. Castro, M., Piacentini, C., Cire, A.A., & Beck, J.C., "Relaxed BDDs: An Admissible Heuristic for Delete-Free Planning Based on a Discrete Relaxation", Proceedings of the Twenty-Ninth Conference on Automated Planning and Scheduling (ICAPS2019), 77-85, 2019.
  98. Senderovich, A., Booth, K.E.C., & Beck, J.C., "Learning Scheduling Models from Event Data", Proceedings of the Twenty-Ninth Conference on Automated Planning and Scheduling (ICAPS2019), 401-409, 2019.
  99. Booth, K.E.C. & Beck, J.C., "A Constraint Programming Approach to Electric Vehicle Routing with Time Windows", Proceedings of Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2019), 129-145, 2019.
  100. Coles, A.J., Coles, A.I, & Beck, J.C., "Efficient Temporal Planning Using Metastates", Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI2019), 7554-7561, 2019.
  101. Senderovich, A., Beck, J.C., Weidlich, M., & Gal, A., "Congestion Graphs for Automated Time Predictions", Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI2019), 4854-4861, 2019.
  102. Cohen, E. & Beck, J.C., "Local Minima, Heavy Tails, and Search Effort for GBFS", Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence and the Twenty-Third European Conference on Artificial Intelligence (IJCAI-ECAI2018), 4708-4114, 2018.
  103. Booth, K.E.C., Do, M., Beck, J.C., Rieffel, E., Venturelli, D., & Frank, J., "Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation", Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS2018), 366-374, 2018.
  104. Piacentini, C., Castro, M.P., Cire, A.A., & Beck, J.C., "Compiling Optimal Numeric Planning to Mixed Integer Linear Programming", Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS2018), 383-387, 2018. [Online Appendix]
  105. Liu, C., Aleman, D.M., & Beck, J.C., "Modelling and Solving the Senior Transportation Problem", Proceedings of the Fifteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2018), 412-428, 2018.
  106. Piacentini, C., Castro, M.P., Cire, A.A., & Beck, J.C., "Linear and Integer Programming-based Heuristics for Cost-optimal Numeric Planning", Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI2018), 6254-6261, 2018.
  107. Cohen, E. & Beck, J.C., "Fat- and Heavy-Tailed Behavior in Satisficing Planning", Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI2018), 6136-6143, 2018.
  108. Cohen, E., Huang, G., & Beck, J.C., "(I Can Get) Satisfaction: Preference-based Scheduling for Concert-Goers at Multi-Venue Music Festivals", Proceedings of the Twentieth International Conference on Theory and Applications of Satisfiability Testing (SAT2017), 147-163, 2017. [Problem instances used in the paper]
  109. Rosu, D., Aleman, D.M., Beck, J.C., Chignell, M., Consens, M., Fox, M.S., Gruninger, M., Liu, C., Ru, Y., & Sanner, S., "A Virtual Marketplace for Goods and Services for People with Social Needs", Proceedings of the IEEE Canada International Humanitarian Technology Conference 2017, 201-206, 2017.
  110. Cohen, E. & Beck, J.C., "Cost-based Heuristics and Node Re-Expansions Across the Phase Transition", Proceedings of the Tenth Annual Symposium on Combinatorial Search (SOCS2017), 11-19, 2017.
  111. Cohen, E. & Beck, J.C., "Problem Difficulty and the Phase Transition in Heuristic Search", Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, (AAAI2017), 780-786, 2017.
  112. Say, B., Cire, A.A., & Beck, J.C., "Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility", Proceedings of the Twenty-Second European Conference on Artificial Intelligence, (ECAI2016), 1044-1052, 2016.
  113. Ku, W.Y. & Beck, J.C., "Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems", Proceedings of the Twenty-Second International Conference on Principles and Practice of Constraint Programming, (CP2016), 316-332, 2016.
  114. Booth, K.E.C., Nejat, G., & Beck, J.C., "A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes", Proceedings of the Twenty-Second International Conference on Principles and Practice of Constraint Programming, (CP2016), 539-555, 2016. Winner of the Distinguished Student Paper Award.
  115. Tran, T.T., Do, M., Rieffel, E., Frank, J., Wang, Z., O'Gorman, B., Venturelli, D., & Beck, J.C., "A Hybrid Quantum-Classical Approach to Solving Scheduling Problems", Proceedings of the Symposium on Combinatorial Search, (SOCS2016), 98-106, 2016.
  116. Luo, R., Valenzano, R., Li, Y., Beck, J.C., & McIlraith, S.A., "Specifying Scheduling Problems Using Metric Temporal Logic", Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, (KR2016), 581-584, 2016.
  117. Booth, K.E.C., Tran, T.T., & Beck, J.C., "Logic-Based Decomposition Methods for the Travelling Purchaser Problem", Proceedings of the Thirteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, (CPAIOR2016), 55-64, 2016.
  118. Tran, T.T., Zhang, P.Y., Li, H., Down, D.G., & Beck, J.C., "Resource-Aware Scheduling for Data Centers with Heterogenous Servers", Proceedings of the Seventh Multdiscipinary International Conferences on Scheduling: Theory & Applications, (MISTA 2015), August, 2015.
  119. Kuo, J.Y.J., Wong, A., Romero, D.A., Beck, J.C., & Amon, C.H., "Wind Farm Layout Optimization in Complex Terrains using Computational Fluid Dynamics", Proceedings of ASME 2015 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, (IDETC/CIE 2015), August, 2015.
  120. Yamani Douzi Sorkhabi, S., Romero, D.A., Beck, J.C., & Amon, C.H., "Constrained Multi-Objective Wind Farm Layout Optimization: Introducing a Novel Constraint Handling Approach based on Constraint Programming", Proceedings of ASME 2015 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, (IDETC/CIE 2015), August, 2015.
  121. Ku, W.-Y. & Beck, J.C., "Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem", Proceedings of the Twelfth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, (CPAIOR2015), 231-239, 2015.
  122. Ku, W.-Y., Pinheiro, T., & Beck, J.C., "CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem", Proceedings of the Twentieth International Conference on Principles and Practice of Constraint Programming, (CP2014), 424-439, 2014.
  123. Louie, W.-Y.G., Vaquero, T.S., Nejat, G., & Beck, J.C., "An Autonomous Assistive Robot for Planning, Scheduling and Facilitating Multi-User Activities", Proceedings of the 2014 International Conference on Robotics and Automation, (ICRA2014), 5292-5298, 2014.
  124. Kosch, S. & Beck, J.C., "A New MIP Model for Parallel-Batch Scheduling with Non-Identical Job Sizes", Proceedings of the Eleventh International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, (CPAIOR2014), 55-70, 2014.
  125. Ku, W.-Y. & Beck, J.C., "Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems", Proceedings of the Eleventh International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, (CPAIOR2014), 334-350, 2014.
  126. Alhossaini, M. & Beck, J.C.,"Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing Operators", Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation (SARA2013), 16-24, 2013.
  127. Muise C., Beck, J.C., & McIlraith S.A.,"Flexible Execution of Partial Order Plans With Temporal Constraints", Proceedings of the Twenty-Third International Joint Conference On Artificial Intelligence (IJCAI2013), 2328-2335, 2013.
  128. Tran, T.T., Terekhov, D., Down, D.G., & Beck, J.C., "Hybrid Queueing Theory and Scheduling Models for Dynamic Environments with Sequence-Dependent Setup Times", Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling (ICAPS2013), 215-223, 2013.
  129. Heinz, S., Ku, W.-Y., & Beck, J.C., "Recent Improvements using Constraint Integer Programming for Resource Allocation and Scheduling Problems", Proceedings of the Tenth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2013), 12-27, 2013.
  130. Zhang, P.Y., Romero, D.A., Beck, J.C., & Amon, C.H., "Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming", Proceedings of the Tenth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2013), 284-299, 2013.
  131. Tran, T.T. & Beck, J.C., "Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence-Dependent Setups", Proceedings of the Twentieth European Conference on Artificial Intelligence (ECAI2012), 774-779, 2012.
  132. Alhossaini, M. & Beck, J.C., "Macro Learning in Planning as Parameter Configuration", Proceedings of the Twenty-Fifth Canadian Conference on Artificial Intelligence (AI2012), 13-24, 2012.
  133. Muise, C., McIlraith, S.A., Beck, J.C., & Hsu, E., "DSHARP: Fast d-DNNF Compilation with sharpSAT", Proceedings of the Twenty-Fifth Canadian Conference on Artificial Intelligence (AI2012), 356-361, 2012.
  134. Gregory, P., Long, D., Fox. M., & Beck, J.C., "Planning Modulo Theories: Extending the Planning Paradigm", Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS2012), 65-73, 2012.
  135. Muise C., McIlraith S.A., & Beck, J.C., "Improved Non-deterministic Planning by Exploiting State Relevance", Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS2012), 172-180, 2012.
  136. Muise C., McIlraith S.A., & Beck, J.C., "Optimally Relaxing Partial-Order Plans with MaxSAT", Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS2012), 358-362, 2012.
  137. Terekhov, D., Tran, T.T., Down, D.G., & Beck, J.C., "Long-run Stability in Dynamic Scheduling", Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS2012), 261-269, 2012.
  138. Heinz, S. & Beck, J.C., "Reconsidering Mixed Integer Programming and MIP-based Hybrids for Scheduling", Proceedings of the Ninth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2012), 211-227, 2012.
  139. Muise C., McIlraith S.A., & Beck, J.C., "Monitoring the Execution of Partial-Order Plans via Regression", Proceedings of the Twenty-Second International Joint Conference On Artificial Intelligence (IJCAI2011), 1975-1982, 2011.
  140. Aramon Bajestani, M. & Beck, J.C., "Scheduling an Aircraft Repair Shop", Proceedings of the Twenty-First International Conference on Automated Planning and Scheduling (ICAPS2011), 10-17, 2011.
  141. Beck, J.C., "Checking-up on Branch-and-Check", Proceedings of the Sixteenth International Conference of Principles and Practice of Constraint Programming (CP2010), 84-98, 2010.
  142. Fazel-Zarandi, M.M. & Beck, J.C., "Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition", Proceedings of the Fifteenth International Conference of Principles and Practice of Constraint Programming (CP09), 344-351, 2009.
  143. Hsu, E.I., Muise, C.J., Beck, J.C. & McIlraith, S.A., "Probabilistically Estimating Backbones and Variable Bias: Experimental Overview", Proceedings of the Fourteenth International Conference of Principles and Practice of Constraint Programming (CP08), 2008.
  144. Watson, J.-P. & Beck, J.C., "A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem", Proceedings of the Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR08), 2008.
  145. Heckman, I. & Beck, J.C., "Fitness Distance Correlation and Solution-Guided Constructive Search for CSPs", Proceedings of the Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR08), 2008.
  146. Terekhov, D. Beck, J.C., & Brown, K.N., "Solving a Stochastic Queueing Design and Control Problem with Constraint Programming", Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI07), 2007.
  147. Terekhov, D. & Beck, J.C., "Solving a Stochastic Queueing Control Problem with Constraint Programming", Proceedings of the Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR'07), 2007.
  148. Kovacs, A. & Beck, J.C., "A Global Constraint for Total Weighted Completion Time", Proceedings of the Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR'07), 2007.
  149. Rendon, A., Okawa, J., Weersink, R., Beck, J.C., & Lilge, L., "Conformal Light Delivery using Tailored Cylindrical Diffuser", Proceedings of Society for Optical Engineering Photonics West Conference, 2007.
  150. Bidot, J., Vidal, T., Beck, J.C., & Laborie, P., "A General Framework for Scheduling in a Stochastic Environment", Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI07), 2007.
  151. Vidotto, A., Brown, K.N., & Beck, J.C., "Managing Restaurant Tables using Constraints", Proceedings of the Twenty-Sixth International Conference of the British Computer Society's Specialize Group on Artificial Intelligence (SGAI06), 2006. Winner of the Rob Milne Memorial Award for the Best Refereed Application Paper.
  152. Beck, J.C. "An Empirical Study of Multi-Point Constructive Search for Constraint-Based Scheduling", Proceedings of the Sixteenth International on Automated Planning and Scheduling (ICAPS'06), 2006.
  153. Little, L., Selensky, E., & Beck, J.C. "Process Design for Efficient Scheduling", Proceedings of the Twelfth IFAC Symposium on Information Control Problems in Manufacturing (INCOM2006), 2006.
  154. Bidot, J., Laborie, P., Beck, J.C., & Vidal, T. "Using Constraint Programming and Simulation for Execution Monitoring and Progressive Scheduling", Proceedings of the Twelfth IFAC Symposium on Information Control Problems in Manufacturing (INCOM2006), 2006.
  155. Beck, J.C. "Multi-Point Constructive Search", Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming (CP'05), 2005. (Short Paper).
  156. Vidotto, A., Brown, K.N., & Beck, J.C. "Robust Constraint Solving Using Multiple Heuristics", Proceedings of the Sixteenth Irish Artificial Intelligence and Cognitive Science Conference (AICS05), 2005.
  157. Wu, C.W., Brown, K.N., & Beck, J.C. "Scheduling with Uncertain Release Dates", Proceedings of the Sixteenth Irish Artificial Intelligence and Cognitive Science Conference (AICS05), 2005.
  158. Beck, J.C. & Wilson, N. "Proactive Algorithms for Scheduling with Probabilistic Durations", Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI05), 2005.
  159. Beck, J.C., Carchrae, T., Freuder, E.C., & Ringwelski, G. "Backtrack-free Search for Real-Time Constraint Satisfaction", Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP'04), 2004.
  160. Beck, J.C., Prosser, P. & Wallace, R.J. "Variable Ordering Heuristics Show Promise", Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP'04), 2004. (Short Paper)
  161. Beck, J.C. & Wilson, N. "Job Shop Scheduling with Probabilistic Durations", Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI04), 2004.
  162. Beck, J.C., Prosser, P. & Wallace, R.J. "Failing First: An Update", Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI04), 2004. (Short Paper)
  163. Carchrae, T. & Beck, J.C. "Low Knowledge Algorithm Control", Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI04), 2004.
  164. Beck, J.C. & Freuder, E.C. "Simple Rules for Low-Knowledge Algorithm Selection", Proceedings of the First International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR'04), 2004. © Springer-Verlag
  165. Beck, J.C., Prosser, P., & Wallace, R.J. "Toward Understanding Variable Ordering Heuristics for Constraint Satisfaction Problems", Proceedings of the Fourteenth Irish Artificial Intelligence and Cognitive Science Conference (AICS03), 2003.
  166. Beck, J.C. & Watson, J.-P. "Adaptive Search Algorithms and Fitness-Distance Correlation", Proceedings of the Fifth Metaheuristics International Conference, 2003. Extended Abstract.
  167. Beck, J.C., Prosser, P., & Selensky, E. "Vehicle Routing and Job Shop Scheduling: What's the difference?", Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS03), 2003.
  168. Beck, J.C., Prosser, P., & Selensky, E., "On the Reformulation of Vehicle Routing Problems and Scheduling Problems", Proceedings of the Fifth Symposium on Abstraction, Reformulation, and Approximation (SARA'02), 2002.
  169. Beck, J.C., Prosser, P., & Selensky, E. "Graph Transformations for Vehicle Routing and Job Shop Scheduling Problems" , Proceedings of the First International Conference on Graph Transformations (ICGT02), 2002.
  170. Watson, J.-P., Beck, J.C., Howe, A.E. & Whitley, L.D. "Toward an Understanding of Local Search Cost in Job-shop Scheduling" , Proceedings of the Sixth European Conference on Planning (ECP-2001), 2001. Winner of The PLANET Prize for Research Excellence.
  171. Davenport, A.J., Gefflot, C. & Beck, J.C. "Slack-based Techniques for Robust Schedules", Proceedings of the Sixth European Conference on Planning (ECP-2001), 2001.
  172. Beck, J.C. "Heuristics for Constraint-Directed Scheduling with Inventory", Proceedings of the Fifth International Conference on Artificial Intelligence Planning & Scheduling (AIPS-2000), 2000.
  173. Beck, J.C. & Fox, M.S. "Scheduling Alternative Activities", Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99), 1999.
  174. Beck, J.C., Davenport, A.J., & Fox, M.S. "Five Pitfalls of Empirical Scheduling Research", Proceedings of the Third International Conference on Principles and Practice of Constraint Programming (CP'97), 1997.
  175. Beck, J.C., Davenport, A.J., Sitarski, E.M., & Fox, M.S. "Texture-Based Heuristics for Scheduling Revisited", Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), 1997.
  176. Beck, J.C., Davenport, A.J., Sitarski, E.M., & Fox, M.S. "Beyond Contention: Extending Texture-Based Scheduling Heuristics", Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), 1997. 
  177. Beck, J.C., van Bommel, M.F., & Schuegraf, E.J. "Vocabulary Acquisition via Machine Learning" Proceedings of the International Symposium on Computer and Information Sciences VII, Antayla, Turkey, 263-269, 1992.

    178. Magazines

  178. Beck, J.C. & Fox, M.S., A Generic Framework for Constraint-Directed Search and Scheduling, AI Magazine, 19(4) Winter, 101-130, 1998.

    179. Extended Abstracts

  179. Morin, M., Castro, M.P., Booth, K.E.C., Tran, T.T., Liu, C., & Beck, J.C., "Intruder Alert! Optimization Models for Solving the Mobile Robot Graph-Clear Problem (Extended Abstract)", Proceedings of the Fifteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2018), XXI, 2018. (See full journal version above and here.)
  180. Tran, T.T., Vaquero T., Nejat, G., & Beck, J.C., "Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots (Extended Abstract)", Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI2017), Journal Track, 2017. (See full journal version above and here.)
  181. Booth, K.E.C, Tran, T.T., Nejat, G., & Beck, J.C., "Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning", Proceedings of the Twenty-Second International Conference on Principles and Practice of Constraint Programming (CP2016), Journal Track, 883, 2016. (See full journal version above and here.)

    182. Workshops

  182. Kuroiwa, R. & Beck, J.C., "A Branch-and-Cut Approach for a Mixed Integer Linear Programming Compilation of Optimal Numeric Planning", ICAPS Workshop on Heuristics for Domain-Independent Planning (HSDIP2021), August 2021.
  183. Castro, M.P., Piacentini, C., Cire, A.A., & Beck, J.C., "Relaxed Decision Diagrams for Cost-Optimal Classical Planning", ICAPS Workshop on Heuristics for Domain-Independent Planning (HSDIP2018), 50-58. Delft, Netherlands, June 2018.
  184. Liu, C., Aleman, D.M., & Beck, J.C., "The Senior Transportation Problem", AAAI Workshop on AI and OR for Social Good, San Francisco, U.S., February 2017.
  185. Rosu, D., Aleman, D.M., Beck, J.C., Chignell, M., Consens, M., Fox, M.S., Gruninger, M., Liu,C., Ru, Y., & Sanner, S., "Knowledge-Based Provision of Goods and Services for People with Social Needs: Towards a Virtual Marketplace, AAAI Workshop on AI and OR for Social Good, San Francisco, U.S., February 2017.
  186. Rosu, D., Aleman, D.M., Beck, J.C., Chignell, M., Consens, M., Fox, M.S., Gruninger, M., Liu,C., Ru, Y., & Sanner, S., "Knowledge-Based Provision of Goods and Services for People with Social Needs: Towards a Virtual Marketplace, AAAI Spring Symposium, AI for Social Good, AISOC2017, Stanford, U.S., 2017.
  187. Booth, K.E.C., Tran, T.T., Nejat, G., & Beck, J.C., "Mixed-integer and Constraint Programming Techniques for Mobile Robot Task Planning", Workshop on Constraint Satisfaction Techniques for Planning and Scheduling (COPLAS2016), 1-4, London, UK, June 2016.
  188. Tran, T.T., Wang, Z., Do, M., Rieffel, E., Frank, J., O'Gorman, B., Venturelli, D., & Beck, J.C., "Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem", Proceedings of the AAAI 2016 Workshop on Planning for Hybrid Systems (PlanHS-16), 2016.
  189. Muise, C., McIlraith, S.A., Beck, J.C., & Hsu, E., "DSHARP: Fast d-NDDF Compilation with sharpSAT (Amended Version)", Proceedings of the AAAI 2016 Workshop on Beyond NP, 2016. Note: A version of this paper also appears in the Proceedings of the 25th Canadian Conference on Artificial Intelligence (CAI-12).
  190. Vaquero, T.S., Nejat, G. & Beck, J.C., "Planning and Scheduling Single and Multi-Person Activities in Retirement Home Settings for a Group of Robots", Proceedings of the ICAPS 2014 Workshop on Planning and Robotics (PlanRob 2014), 2014.
  191. Tran, T.T., Dogru, M.K., Ozen, U., & Beck, J.C., "Scheduling a Multi-Cable Electric Vehicle Charging Facility", Proceedings of the ICAPS 2013 Workshop on Scheduling and Planning Applications (SPARK 2013), 2013.
  192. Muise C., Beck, J.C., & McIlraith S.A., "Flexible Execution of Partial Order Plans With Temporal Constraints", Proceedings of the ICAPS Workshop on Planning in Continuous Domains (PCD 2013), 2013. Note: also appears in IJCAI-2013 (see above).
  193. Vaquero, T.S., Costa, C., Tonidandel, F., Igreja, H., Silva, J.R., & Beck, J.C., Planning and Scheduling Ship Operations on Petroleum Ports and Platforms, Proceedings of the ICAPS 2012 Workshop on Scheduling and Planning Applications (SPARK), 8-16, Atibaia, Sao Paulo, Brazil, 2012.
  194. Vaquero, T.S., Tonaco, R., Costa, C., Tonidandel, F., Silva, J.R., & Beck, J.C., itSIMPLE4.0: Enhancing the Modeling Experience of Planning Problems, Proceedings of the ICAPS 2012 Systems Demonstration, 11-14, Atibaia, Sao Paulo, Brazil, 2012.
  195. Tran, T.T. & Beck, J.C., "A Logic-Based Benders Approach to Scheduling with Alternative Resources and Setup Times", Proceedings of the ICAPS2011 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'11), Freiburg, Germany, 2011.
  196. Heinz, S. & Beck, J.C., "Solving Resource Allocation/Scheduling Problems with Constraint Integer Programming", Proceedings of the ICAPS2011 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'11), Freiburg, Germany, 2011.
  197. Muise, C., McIlraith, S.A., & Beck, J.C., "Optimization of Partial-Order Plans via MAXSAT", Proceedings of the ICAPS2011 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'11), Freiburg, Germany, 31-38, 2011.
  198. Aramon Bajestani, M. & Beck, J.C., "Scheduling a Dynamic Aircraft Repair Shop", Proceedings of the ICAPS2011 Workshop on Scheduling and Planning Applications (SPARK2011), Freiburg, Germany, 2011.
  199. Vaquero, T.S., Silva, J.R., & Beck, J.C., "Acquisition and Re-use of Plan Evaluation Rationales on Post-Design", Proceedings of the ICAPS2011 Workshop on Knowledge Engineering for Planning and Scheduling, Freiburg, Germany, 2011.
  200. Vaquero, T.S., Silva, J.R., & Beck, J.C., "A Conceptual Framework for Post-Design Analysis in AI Planning Applications", Proceedings of the ICAPS2011 Workshop on Knowledge Engineering for Planning and Scheduling, Freiburg, Germany, 2011.
  201. Vaquero, T.S., Silva, J.R., & Beck, J.C., "A Brief Review of Tools and Methods for Knowledge Engineering for Planning & Scheduling", Proceedings of the ICAPS2011 Workshop on Knowledge Engineering for Planning and Scheduling, Freiburg, Germany, 2011.
  202. Duan, L., Dogru, M.K., Ozen, U. & Beck, J.C. "Multi-agent Negotiation for Distributed Production Scheduling Problems", Proceedings of the Third International Workshop on Agent-based Complex Automated Negotiations. Toronto, Canada, 2010.
  203. Terekhov, D., Tran, T.T., & J. C. Beck. "Investigating Two-Machine Dynamic Flow Shops Based on Queueing and Scheduling", Proceedings of ICAPS2010 Workshop on Planning and Scheduling Under Uncertainty, Toronto, Canada, 2010.
  204. Vaquero, T.S., Silva, J. R., & Beck, J.C., "Improving Planning Performance Through Post-Design Analysis", Proceedings of the ICAPS2010 Workshop on Knowledge Engineering for Planning and Scheduling, Toronto, Canada, 2010.
  205. Vaquero, T.S., Silva, J. R., & Beck, J.C., "Analyzing Plans and Planners in itSIMPLE3.1", Proceedings of the ICAPS2010 Workshop on Knowledge Engineering for Planning and Scheduling, Toronto, Canada, 2010.
  206. Vaquero, T.S., Sette, F., Reinaldo Silva, J., & Beck, J.C., "Planning and Scheduling of Crude Distribution in a Petroleum Plant", Proceedings of the ICAPS2009 Scheduling and Planning Applications Workshop (SPARK2009), Thessaloniki, Greece, 2009.
  207. Vaquero, T.S., Reinaldo Silva, J., Ferreira, M., Tonidandel, F., & Beck, J.C., "From Requirements and Analysis to PDDL in itSIMPLE3.0", Proceedings of the Third International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS2009), Thessaloniki, Greece, 2009.
  208. Alhossaini, M. & Beck, J.C., "Learning Instance-Specific Macros", Proceedings of the ICAPS2009 Workshop on Planning and Learning, Thessaloniki, Greece, September 20, 2009.
  209. Beck, J. C., & Gruninger, M., "What's Your Problem? The Problem of Problem Definition", Proceedings of the Seventh International Symposium on Abstraction, Reformulation, and Approximation (SARA2007), Whistler, Canada, pp. 393-394, 2007.
  210. Kovacs, A. & Beck, J.C., "Single-machine scheduling with tool changes: a constraint-based approach", Proceedings of the 26th Workshop of the UK Planning and Scheduling Special Interest Group, Prague, December 17-18, pp. 71-78, 2007.
  211. Kovacs, A. & Beck, J.C., "Constraint-based Scheduling with Total Completion Time Criterion: Models and Applications", MIM'07, IFAC Workshop on Manufacturing Modelling, Management and Control, Budapest, Nov. 14-16, 2007.
  212. Kovacs, A. & Beck, J.C., "Extensions of the COMPLETION Constraint", CP/ICAPS 2007 Joint Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, 2007.
  213. Duan, L., Gabrielsson, S., & Beck, J.C., "Solving Combinatorial Problems with Parallel Cooperative Solvers", Ninth International Workshop on Distributed Constraint Reasoning, 2007.
  214. Beck, J.C. & Heckman, I., "Toward Understanding Solution-Guided Multi-Point Constructive Search for CSPs", First Workshop on Autonomous Search, 2007.
  215. Heckman, I. & Beck, J.C., "An Empirical Study of Multi-Point Constructive Search for Constraint Satisfaction", Third International Workshop on Local Search Techniques for Constraint Satisfaction, 2006.
  216. Wu, C.W., Brown, K.N., & Beck, J.C., "Scheduling with Uncertain Durations: Generating Beta-Robust Schedules using Constraint Programming", ICAPS 2006 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, 2006.
  217. Carchrae, T. & Beck, J.C., "Cost-based Large Neighborhood Search", Workshop on the Combination of Metaheuristic and Local Search with Constraint Programming Techniques, 2005.
  218. Beck, J.C., "Multi-Point Constructive Search: Extended Remix", Second International Workshop on Local Search Techniques in Constraint Satisfaction, 2005.
  219. Brown, K.N., Prosser, P., Beck, J.C., & Wu, C.W. "Exploring the Use of Constraint Programming for Enforcing Connectivity During Graph Generation", Fifth Workshop on Modelling and Solving Problems with Constraints, 2005.
  220. Selensky, E., Little, J., & Beck, J.C. "Process Design for Efficient Scheduling", Twenty-Third Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004), 2004.
  221. Prestwich, S.D. & Beck, J.C. "Exploiting Dominance in Three Symmetric Problems", Fourth International Workshop on Symmetry and Constraint Satisfaction Problems, 2004.
  222. Wu, C.W., Beck, J.C., & Brown, K.N., "Dynamic Vehicle Routing with Uncertain Customer Demand", International Workshop on Constraint Solving under Change and Uncertainty (Changes'04), 2004. (Short Paper)
  223. Vidotto, A., Brown, K.N., & Beck, J.C., "A Controller for Online Uncertain Constraint Handling", International Workshop on Constraint Solving under Change and Uncertainty (Changes'04), 2004. (Short Paper)
  224. Beck, J.C., Prosser, P., & Wallace, R.J. "Trying Again to Fail First", Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming (CSCLP 2004), 2004.
  225. Freuder, E.C., Carchrae, T. & Beck, J.C. "Satisfaction Guaranteed", Workshop on Configuration, Eighteenth International Joint Conference on Artificial Intelligence (IJCAI03), 2003.
  226. Bidot, J., Laborie, P., Beck, J.C. & Vidal T. "Using Simulation for Execution Monitoring and On-line Rescheduling with Uncertain Durations", ICAPS'03 Workshop on Plan Execution, 2003.
  227. Vidal, T., Bidot, J., Beck, J.C., & Laborie, P. "Gestion de projets sous incertitudes : un modèle de génération de plans flexibles en horizon glissant", Le 5ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'03), 2003. (In French).
  228. Beck, J.C. & Refalo, P., "Combining Local Search and Linear Programming to Solve Earliness/Tardiness Scheduling Problems", Proceedings of the Fourth International  Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'02), 2002.
  229. Davenport, A.J, Gefflot, C., & Beck, J.C., "Slack-based Techniques for Robuts Schedules" Constraints and Uncertainty Workshop, Cyprus, 2001.
  230. Watson, J-P, Beck, J.C., Howe, A.E. & Whitley, L.D. "Toward a Descriptive Model of Local Search Cost in Job-Shop Scheduling", IJCAI-01 Workshop on Stochastic Local Search, Seattle, WA, 2001.
  231. Beck, J.C. & Refalo, P., "A Hybrid Approach to Scheduling with Earliness and Tardiness Costs" Third International Workshop on Integration of AI and OR Techniques (CP-AI-OR'01), Wye College, Ashford, UK, 2001.
  232. Beck, J.C. & Perron, L., "Discrepancy-Bounded Depth First Search", Second International Workshop on Integration of AI and OR Technologies for Combinatorial Optimization Problems (CP-AI-OR'00), Paderborn, Germany, 2000.
  233. Davenport, A.J. & Beck, J.C., "An Investigation into Two Approaches for Constraint Directed Resource Allocation & Scheduling", INFORMS, Philadelphia, 1999.
  234. Beck, J.C. & Fox, M.S. "Mediated Conflict Recovery by Constraint Relaxation", Working Notes of AAAI Workshop on Conflict Management, Seattle, United States, 1994.
  235. Beck, J.C. & Fox, M.S. "Supply Chain Coordination via Mediated Constraint Relaxation", Proceedings of the First Canadian Workshop on Distributed Artificial Intelligence, Banff, AB, May 15, 1994.
  236. Beck, J.C., Schuegraf, E.J., & van Bommel, M.F. "A Learning Algorithm for Acquisition and Augmentation of Characteristic Vocabularies" Proceedings of the 1991 Atlantic Provinces Council for the Sciences Computing Science Conference, Halifax, Canada, 1-10, 1991.

    Technical Reports

  237. Beck, J.C., Magazzeni, D., Roger, G., & Van Hoeve, W.-J., "Planning and Operations Research (Dagstuhl Seminar 18071)", Dagstuhl Reports, 8(2), 26-63, 2018.
  238. Piacentini, C., Castro, M.P., Cire, A.A., & Beck, J.C., "Online Appendix to 'Compiling Optimal Numeric Planning to Mixed Integer Linear Programming' published in ICAPS2018", TIDEL Technical Report 2018A, 2018.
  239. Beck, J.C., Holte, R., Koch, T., & Thiebaux, S., eds. "Planning, Search, and Optimization: Papers from the 2015 Workshop", AAAI Technical Report WS-15-12, AAAI Press, 2015.
  240. Ku, W.Y. & Beck, J.C., "Revisiting Off-the-Shelf Mixed Integer Programming and Constraint Programming Models for Job Shop Scheduling", Technical Report MIE-OR TR2014-01, Department of Mechanical & Industrial Engineering, University of Toronto, 2014.
  241. Aramon Bajestani, M. & Beck, J.C., "Minimizing the Number of Late Jobs in a Flowshop with Processing Times Dependent on Maintenance", Technical Report MIE-OR TR2012-03, Department of Mechanical & Industrial Engineering, University of Toronto, 2012.
  242. Terekhov, D., Down, D. G., & Beck, J. C. "Stability of a polling system with a flow-shop server", Technical Report MIE-OR-TR2012-01, Department of Mechanical and Industrial Engineering, University of Toronto, 2012.
  243. Heinz, S. & Beck, J.C., "Reconsidering Mixed Integer Programming and MIP-based Hybrids for Scheduling", Technical Report ZR-12-05, Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB), 2012.
  244. Achterberg, T., & Beck, J.C., eds. "CPAIOR 2011 - Late Breaking Abstracts", Technical Report ZR-11-20, Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB), 2011.
  245. Heinz, S., & Beck, J.C. "Solving Resource Allocation/Scheduling Problems with Constraint Integer Programming", Technical Report ZR-11-14, Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB), 2011.
  246. Terekhov, D. & Beck, J.C. "Solving a Stochastic Queueing Control Problem with Constraint Programming", Technical Report MIE-OR TR2006-06, Department of Mechanical & Industrial Engineering, University of Toronto, 2006.
  247. Geng, J., Kwon, R.H., & Beck, J.C. "Decentralized Job Shop Scheduling via Ascending Combinatorial Auction", Technical Report MIE-OR TR2005-05, Department of Mechanical & Industrial Engineering, University of Toronto, 2005.
  248. Prestwich, S. & Beck, J.C. "Using Pseudosymmetry to Reduce Search Effort", Technical Report TR-01-2004, Cork Constraint Computation Centre, 2004.
  249. Beck, J.C. & Jackson, W.K. "Constrainedness and the Phase Transition in Job Shop Scheduling", School of Computing Science, Simon Fraser University, Technical Report, Simon Fraser University, 1997.
  250. Finin, T., Weber, J., Weiderhold, G., Genesereth, M., Fritzson, R., McKay, D., McGuire, J., Pelavin, P., Shapiro, S., & Beck, C. "Specification of the KQML Agent-Communication Language", Enterprise Integration Technologies Technical Report, EIT TR9204, Palo Alto, CA, 1992.

    Theses

  251. Zheng, L., "Learning the Discount Factor in Inverse Reinforcement Learning with Application to Animal Behaviour", MASc Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2023.
  252. Chen, Y., "Solving Short-term and Long-term Multi-resource Server Management Problems in the Cloud with Queueing and Combinatorial Models", MASc Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2022.
  253. Luo, Y.L., "A Scheduling-based Constraint Programming Approach to Solving a Complex Two-Dimensional Two-Stage Cutting Stock Problem", MASc Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2022.
  254. Korikov, A., "Counterfactual Explanations for Discrete Optimization", MASc Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2022.
  255. Lo, V., "Decision Diagrams and Large Neighbourhood Search for Earliness Tardiness Single Machine Scheduling with Sequence Dependent Setups", MASc Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2022.
  256. Booth, K.E.C., "Constraint Programming Approaches to Electric Vehicle and Robot Routing Problems", Ph.D. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2021.
  257. Castro, M.P., "Optimization Methods based on Decision Diagrams for Constraint Programming, AI Planning, and Mathematical Programming", Ph.D. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2020. (co-supervised with Andre Cire) Winner of The 2021 Assocation for Constraint Programming Doctoral Research Award.
  258. Cohen, E., "Empirical Models of Heuristic Search in AI Planning and Neural Sequence Decoding", Ph.D. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2020.
  259. Iorio, F., "Inductive Transfer Learning for Incremental Modeling and Optimization of Cloud Systems Performance", Ph.D. Thesis, Department of Computer Science, University of Toronto, 2020. (co-supervised with Cristiana Amza)
  260. Tang, T.Y., "Exact and Heuristic Approaches to Batching-and-Scheduling for the Composites Manufacturing Problem, M.A.Sc. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2020.
  261. Filipova, S., "A Formal Analysis of the Propagation for the Ellipsoid Global Constraint and an Application to the Selective Tree Breeding Problem", M.A.Sc. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2018. (co-supervised with Merve Bodur)
  262. Liu, C., "Modelling and Solving the Senior Transportation Problem", M.A.Sc. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2018. (co-supervised with Dionne Aleman)
  263. Heinz, S., "Presolving Techniques and Linear Relaxations for Cumulative Scheduling", Ph.D. Thesis, Fakultat II - Mathematik und Naturwissenschaften der Technischen Universitat Berlin, 2018. (co-supervised with Thorsten Koch)
  264. Ku, W.-Y., "Hybrid Exact Methods for Solving Strictly Convex Integer Quadratic Programs", Ph.D. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2017.
  265. Tran, T.T., "Decomposition Models for Complex Scheduling Applications", Ph.D. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2017. (co-supervised with Goldie Nejat)
  266. Say, B., "Mixed-Integer Linear Programming Models for Least-Commitment Partial-Order Planning", M.A.Sc. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2017. (co-supervised with Andre Cire)
  267. Muise, C.J., "Exploiting Relevance to Improve Robustness and Flexibility in Plan Generation and Execution", Ph.D. Thesis, Department of Computer Science, University of Toronto, 2014. (co-supervised with Sheila McIlraith)
  268. Aramon Bajestani, M., "Integrating Maintenance Planning and Production Scheduling: Making Operational Decisions with a Strategic Perspective", Ph.D. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2014.
  269. Hahn-Goldberg, S., "Dynamic Optimization Addressing Chemotherapy Outpatient Scheduling", Ph.D. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2014. (co-supervised with Michael Carter)
  270. Alhossaini, M., "Remodeling Planning Domains Using Macro Operators and Machine Learning", Ph.D. Thesis, Department of Computer Science, University of Toronto, 2013.
  271. Terekhov, D., "Integrating Combinatorial Scheduling with Inventory Management and Queueing Theory", Ph.D. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2013.
  272. Tran, T.T., "Using Queueing Analysis to Guide Combinatorial Scheduling in Dynamic Environments", M.A.Sc. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2011. 
  273. Vaquero, T.S., "Post-Design Analysis for AI Planning Applications", Ph.D. Thesis, Department of Mechatronics Engineering, University of Sao Paulo, 2011. (co-supervised with Reinaldo Silva)
  274. Fazel-Zarandi, M.M., "Using Decomposition to Solve Facility Location/Fleet Management Problems", M.A.Sc. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2010. (co-supervised with Oded Berman)
  275. Carchrae T., "Low Knowledge Algorithm Control for Constraint-Based Scheduling", Ph.D. Thesis, Department of Computer Science, National University of Ireland, Cork, 2009. (co-supervised with Eugene Freuder)
  276. Muise, C., "Exploiting Modern #SAT-Solving Techniques to Generate Implicants", M.Sc. Thesis, Department of Computer Science, University of Toronto, 2009. (co-supervised with Sheila McIlraith)
  277. Moallem, M., "A Study on the performance Evaluation of Linux I/O Schedulers", M.Sc. Thesis, Department of Computer Science, University of Toronto, 2008. (co-supervised with Angela Demke Brown)
  278. Hahn-Goldberg, S., "Defining, Modeling, and Solving a Real University Course Timetabling Problem", M.A.Sc. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2007.  (co-supervised with Daniel Frances)
  279. Heckman, I., "Empirical Analysis of Solution Guided Multi-Point Constructive Search", M.Sc. Thesis, Department of Computer Science, University of Toronto, 2007. 
  280. Terekhov, D., "Solving Queueing Design and Control Problems with Constraint Programming", M.A.Sc. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2007. 
  281. Vidotto, A., "Managing Restaurant Tables Using Constraint Programming", Ph.D. Thesis, Department of Computer Science, University College Cork, 2007.  (co-supervised with Ken Brown)
  282. Yoon, D.T.S., "Empirical Analysis of Local Search Algorithms and Problem Difficulty in Satisfiability", M.A.Sc. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2006. 
  283. Bidot, J., "A General Framework Integrating Techniques for Scheduling under Uncertainty", Ph.D. Thesis, Ecole Nationale d'Ingenieurs de Tarbes, 2005.  (co-supervised with Thierry Vidal and Philippe Laborie)
  284. Gibbons, J., "Solving Premutation Flow-shop Scheduling Problems using Local Search and Constraint Programming", M.Sc. Thesis, Department of Computer Science, National University of Ireland, Cork, 2004. (co-supervised with Eugene Freuder)
  285. Beck, J.C., "Texture Measurements as a Basis for Heuristic Commitment Techniques in Constraint-Directed Scheduling", Ph.D. Thesis, Department of Computer Science, University of Toronto, 1999. 
  286. Beck, J.C., "A Schema for Constraint Relaxation with Instantiations for Partial Constraint Satisfaction and Schedule Optimization", M.Sc. Thesis, Department of Computer Science, University of Toronto, 1994. (also released as a technical report EIT-94-3)
  287. Beck, J.C., "Machine Induction: Origins and Application", B.Sc. Thesis, St. Francis Xavier University, 1992.

    Industry Press

  288. Beck, C. & Freuder, G. "Constraint-based Optimization: Judo for the Supply Chain", Supply Chain Alert, June, 2003.

    Unpublished

  289. Davenport, A.J. & Beck, J.C. "A Survey of Techniques for Scheduling with Uncertainty", Unpublished manuscript

University of Toronto Mechanical and Information Engineering