Research


Publications

Refereed Journal Articles

  1. Booth, K.E.C., Chan, T.C.Y., and Shalaby, Y., "A Mathematical Optimization Framework for Expansion Draft Decision Making and Analysis", Journal of Quantitative Analysis in Sports, Vol. 15 (1), 27-40, 2019. [post-print]
  2. Morin, M., Castro, M.P., Booth, K.E.C., Tran, T.T., Liu, C., and Beck, J.C., "Intruder Alert! Optimization Models for Solving the Mobile Robot Graph-Clear Problem", Constraints, Vol. 23 (3), 335-354, 2018. Journal fast-track and winner of the Distinguished Paper Award. [post-print] [code]
  3. Booth, K.E.C., Mohamed, S.C., Rajaratnam, S., Nejat, G., and 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, Vol. 32 (6), 14-21, 2017. [post-print] [talk]
  4. Booth, K.E.C., Tran, T.T., Nejat, G., and Beck, J.C., "Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning", IEEE Robotics and Automation Letters, Vol. 1 (1), 500-507, 2016. [post-print]

Refereed Conference Proceedings

  1. Senderovich, A., Booth, K.E.C., and Beck, J.C., "Learning Scheduling Models from Event Data", Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS2019), accepted February 2019. [post-print]
  2. Booth, K.E.C., Beck, J.C., "A Constraint Programming Approach to Electric Vehicle Routing with Time Windows", Proceedings of the Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2019), 129-145, 2019. [post-print]
  3. Booth, K.E.C., Do, M., Beck, J.C., Rieffel, E., Venturelli, D., and 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. [arXiv:1803.06775] [talk] [data]
  4. Booth, K.E.C., Nejat, G., and 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. [post-print] [talk]
  5. Booth, K.E.C., Tran, T.T., and Beck, J.C., "Logic-Based Decomposition Methods for the Travelling Purchaser Problem", Proceedings of the Thirteenth International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming (CPAIOR2016), 55-64, 2016. [post-print]

Referred Workshop Papers

  1. Venturelli, D., Do, M., O'Gorman, B., Frank, J., Rieffel, E.,  Booth, K.E.C., Nguyen, T.,  Narayan, P., & Nanda, S., "Quantum Circuit Compilation: An Emerging Application for Automated Reasoning", Workshop on Planning and Scheduling Applications (SPARK19), In press.
  2. 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.

Refereed Extended Abstracts

  1. 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", Proceedings of the Fifteenth International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming (CPAIOR2018), Front Matter, XXVII, 2018. [post-print] [code(see full journal article above)
  2. 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. [post-print(see full journal article above)

Presentations

  1. 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", ICAPS2018, Delft, Netherlands, June 2018. [talk]
  2. 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", ICAPS2018, Delft, Netherlands, June 2018. [talk]
  3. Roshanaei, V., Booth, K.E.C., Aleman, D., Urbach, D., & Beck, J.C., "Decomposition Methods for Multi-Level Operating Room Planning and Scheduling", IISE2017, Pittsburgh, Pennsylvania, United States, May 2017.
  4. Booth, K.E.C., Tran, T.T., G. Nejat, & Beck, J.C., "A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes", CP2016, Toulouse, France, September 2016. [talk]
  5. Booth, K.E.C., Tran, T.T., G. Nejat, & Beck, J.C., "Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning", CP2016, Toulouse, France, September 2016.
  6. Booth, K.E.C., Tran, T.T., G. Nejat, & Beck, J.C., "Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning", COPLAS2016, London, England, June 2016.
  7. Booth, K.E.C., "Optimization Approaches to Multi-robot Planning and Scheduling", ICAPS2016 Doctoral Consortium, London, England, June 2016.
  8. Booth, K.E.C., Roshanaei, V., Aleman, D., Urbach, D., & Beck, J.C., "Optimal Operating Room Allocation to Multiple Surgical Specialties Using Decomposition Methods", CORS2016, Banff, Alberta, Canada, May 2016.
  9. Booth, K.E.C., Tran, T.T., & Beck, J.C., "Logic-Based Decomposition Methods for the Travelling Purchaser Problem", CPAIOR2016, Banff, Alberta, Canada, May 2016.
  10. Booth, K.E.C., Tran, T.T., & Beck, J.C., "Decomposition Methods for the Travelling Purchaser Problem: A Computational Study", ISAIM2016, Fort Lauderdale, Florida, USA, January 2016.
Experience
  • PC Member: ICAPS2019, AAAI2018, PlanSOpt2018, CP2016 Doctoral Program
  • Journal reviewer: IEEE Access, Computers & OR, Journal of Applied Soft Computing, Journal of Information Services & Telecommunication (JIST), IEEE Transactions on Automation Science & Engineering (T-ASE)
  • Conference reviewer (non PC Member): ICRA2019
  • Conference subreviewer: SoCS2019, SoCS2018, CPAIOR2018, ICAPS2017
honours & awards
  1. APSC Graduate Student Endowment Fund Award, December 2018
  2. Ontario Graduate Scholarship, 2018-2019
  3. Journal fast-track and Distinguished Paper Award - The 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), June 2018
  4. Edmond G. Odette Scholarship, 2017-2018
  5. Mart Liinve Graduate Scholarship - Queen Elizabeth II Graduate Scholarship in Science & Technology, 2016-2017
  6. Distinguished Student Paper Award - The 22nd International Conference on the Principles and Practice of Constraint Programming (CP2016), September 2016
Student Supervision
  1. Dawn Duan (4th year, B.Eng.Sc., 2018-19)
  2. Kejie Zhao (2nd year, B.Eng.Sc., Summer 2017)
  3. Alice Nuz (3rd year, B.Eng.Sc., Summer 2016)