The Toronto Intelligent Decision Engineering Laboratory
homepeoplepublicationsprojectscontact

Publications

    Books

  1. 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.
  2. 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.
  3. 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.
  4. 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.

    5. 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.

  5. Vaquero, T.S., Silva, J.R, & Beck, J.C., Post-Design Analysis for Building and Refining AI Planning Systems, Engineering Applications of Artificial Intelligence, published online May 2013.
  6. 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.
  7. 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.
  8. 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)
  9. Heinz, S., Schulz, J., & Beck, J.C., Using Dual Presolving Reductions to Reformulate Cumulative Constraints, (author's version), Constraints, 18, 166-201, 2013.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. Heckman, I. & Beck, J.C., Understanding the Behavior of Solution-Guided Search for Job-Shop Scheduling, Journal of Scheduling, 14(2), 121-140, 2011.
  15. 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.
  16. Kovacs, A. & Beck, J.C., A Global Constraint for Total Weighted Completion Time for Unary Resources, Constraints, 16:100-123, 2011.
  17. 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.
  18. Carchrae, T. & Beck, J.C., Principles for the Design of Large Neighborhood Search, Journal of Mathematical Modelling and Algorithms, 8, 245-270, 2009.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. Terekhov, D. & Beck, J.C., A Constraint Programming Approach for Solving a Queueing Control Problem, Journal of Artificial Intelligence Research, 32, 123-167, 2008.
  24. 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.
  25. 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.
  26. Beck, J.C., Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling, Journal of Artificial Intelligence Research, 29, 49-77, 2007.
  27. Beck, J.C. & Wilson, N., Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations, Journal of Artificial Intelligence Research, 28, 183-232, 2007.
  28. Vidotto, A., Brown, K.N., & Beck, J.C., Managing Restaurant Tables using Constraints, Knowledge-Based Systems, 20, 160-169, 2007.
  29. Beck, J.C., Prosser, P., & Selensky, E., A Case Study of Mutual Routing-Scheduling Reformulation, Journal of Scheduling, 9(5), 469-491, 2006.
  30. Carchrae, T. & Beck, J.C., Applying Machine Learning to Low Knowledge Control of Optimization Algorithms, Computational Intelligence, 21(4), 372-387, 2005.
  31. 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.
  32. 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.
  33. Beck, J.C., Heuristics for Scheduling with Inventory: Dynamic Focus via Constraint Criticality, Journal of Scheduling, 5(1), 2002.
  34. Beck, J.C. & Fox, M.S., Constraint Directed Techniques for Scheduling with Alternative Activities, Artificial Intelligence, 121(1-2), 211-250, 2000.
  35. 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.
  36. 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.
  37. Beck, J.F. & Beck, J.C. Assigning Grades to Absent Students - Revisited, Journal of Chemical Education, 68, 319, 1991.

    38. Refereed Book Chapters

  38. Heckman, I. & Beck, J.C. Multi-Point Constructive Search for Constraint Satisfaction: An Overview, Trends in Constraint Programming, ISBN: 9781905209972. Wiley, 2007.
  39. 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.

    40. Refereed Conferences

  40. 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), accepted April, 2013, to appear.
  41. 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), accepted January 2013, to appear.
  42. 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.
  43. 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.
  44. 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.
  45. 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.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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.
  51. 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.
  52. 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.
  53. 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.
  54. 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.
  55. 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.
  56. 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.
  57. 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.
  58. 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.
  59. 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.
  60. 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.
  61. 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.
  62. 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.
  63. 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.
  64. 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.
  65. 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.
  66. 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.
  67. 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.
  68. 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).
  69. 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.
  70. 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.
  71. Beck, J.C. & Wilson, N. "Proactive Algorithms for Scheduling with Probabilistic Durations", Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI05), 2005.
  72. 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.
  73. 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)
  74. Beck, J.C. & Wilson, N. "Job Shop Scheduling with Probabilistic Durations", Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI04), 2004.
  75. 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)
  76. Carchrae, T. & Beck, J.C. "Low Knowledge Algorithm Control", Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI04), 2004.
  77. 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
  78. 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.
  79. Beck, J.C. & Watson, J.-P. "Adaptive Search Algorithms and Fitness-Distance Correlation", Proceedings of the Fifth Metaheuristics International Conference, 2003. Extended Abstract.
  80. 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.
  81. 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.
  82. 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.
  83. 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.
  84. 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.
  85. Beck, J.C. "Heuristics for Constraint-Directed Scheduling with Inventory", Proceedings of the Fifth International Conference on Artificial Intelligence Planning & Scheduling (AIPS-2000), 2000.
  86. Beck, J.C. & Fox, M.S. "Scheduling Alternative Activities", Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99), 1999.
  87. 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.
  88. 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.
  89. 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. 
  90. 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.

    91. Magazines

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

    92. Workshops

  92. 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), accepted April, 2013, to appear.
  93. 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.
  94. 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.
  95. 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.
  96. 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.
  97. 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.
  98. 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.
  99. 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.
  100. 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.
  101. 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.
  102. 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.
  103. 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.
  104. 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.
  105. 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.
  106. 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.
  107. 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.
  108. Alhossaini, M. & Beck, J.C., "Learning Instance-Specific Macros", Proceedings of the ICAPS2009 Workshop on Planning and Learning, Thessaloniki, Greece, September 20, 2009.
  109. 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.
  110. 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.
  111. 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.
  112. Duan, L., Gabrielsson, S., & Beck, J.C., "Solving Combinatorial Problems with Parallel Cooperative Solvers", Ninth International Workshop on Distributed Constraint Reasoning, 2007.
  113. Beck, J.C. & Heckman, I., "Toward Understanding Solution-Guided Multi-Point Constructive Search for CSPs", First Workshop on Autonomous Search, 2007.
  114. 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.
  115. 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.
  116. Carchrae, T. & Beck, J.C., "Cost-based Large Neighborhood Search", Workshop on the Combination of Metaheuristic and Local Search with Constraint Programming Techniques, 2005.
  117. Beck, J.C., "Multi-Point Constructive Search: Extended Remix", Second International Workshop on Local Search Techniques in Constraint Satisfaction, 2005.
  118. 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.
  119. 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.
  120. Prestwich, S.D. & Beck, J.C. "Exploiting Dominance in Three Symmetric Problems", Fourth International Workshop on Symmetry and Constraint Satisfaction Problems, 2004.
  121. 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)
  122. 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)
  123. 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.
  124. Freuder, E.C., Carchrae, T. & Beck, J.C. "Satisfaction Guaranteed", Workshop on Configuration, Eighteenth International Joint Conference on Artificial Intelligence (IJCAI03), 2003.
  125. 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.
  126. 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).
  127. 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.
  128. 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.
  129. 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.
  130. 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.
  131. Davenport, A.J. & Beck, J.C., "An Investigation into Two Approaches for Constraint Directed Resource Allocation & Scheduling", INFORMS, Philadelphia, 1999.
  132. Beck, J.C. & Fox, M.S. "Mediated Conflict Recovery by Constraint Relaxation", Working Notes of AAAI Workshop on Conflict Management, Seattle, United States, 1994.
  133. 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.
  134. 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

  135. 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.
  136. 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.
  137. 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.
  138. Achterberg, T., & Beck, J.C., eds. "CPAIOR 2011 - Late Breaking Abstracts", Technical Report ZR-11-20, Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB), 2011.
  139. 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.
  140. 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.
  141. 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.
  142. Prestwich, S. & Beck, J.C. "Using Pseudosymmetry to Reduce Search Effort", Technical Report TR-01-2004, Cork Constraint Computation Centre, 2004.
  143. 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.
  144. 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

  145. Terekhov, D., "Integrating Combinatorial Scheduling with Inventory Management and Queueing Theory", Ph.D. Thesis, Department of Mechanical and Industrial Engineering, University of Toronto, 2013.
  146. 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. 
  147. Vaquero, T.S., "Post-Design Analysis for AI Planning Applications", Ph.D. Thesis, Department of Mechatronics Engineering, University of Sao Paulo, 2011. 
  148. 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. 
  149. 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)
  150. 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)
  151. 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)
  152. 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)
  153. Heckman, I., "Empirical Analysis of Solution Guided Multi-Point Constructive Search", M.Sc. Thesis, Department of Computer Science, University of Toronto, 2007. 
  154. 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. 
  155. Vidotto, A., "Managing Restaurant Tables Using Constraint Programming", Ph.D. Thesis, Department of Computer Science, University College Cork, 2007.  (co-supervised with Ken Brown)
  156. 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. 
  157. 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)
  158. 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)
  159. 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. 
  160. 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)
  161. Beck, J.C., "Machine Induction: Origins and Application", B.Sc. Thesis, St. Francis Xavier University, 1992.

    Industry Press

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

    Unpublished

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

University of Toronto Mechanical and Information Engineering