Research


Publications

Refereed Journal Articles

  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", Constraints, Vol. 23 (3), 335-354, 2018. Journal fast-track and winner of the Distinguished Paper Award. [post-print]
  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", IEEE Intelligent Systems, Vol. 32 (6), 14-21, 2017. [post-print] [video]
  3. 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, Vol. 1 (1), 500-507, 2016. [post-print]

Refereed Conference Proceedings

  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", Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS2018), 366-374, 2018. [arXiv:1803.06775] [video]
  2. 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. [post-print] [video]
  3. 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 the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming (CPAIOR2016), 55-64, 2016. [post-print]

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] (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)

Workshops

  1. 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 VideoConstraint Satisfaction Techniques for Planning and Scheduling (COPLAS2016), 1-4, London, UK, June 2016.

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. [video]
  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. [video]
  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. [video]
  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.
honours & awards
  1. Ontario Graduate Scholarship, 2018-2019
  2. 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
  3. Edmond G. Odette Scholarship, 2017-2018
  4. Mart Liinve Graduate Scholarship - Queen Elizabeth II Graduate Scholarship in Science & Technology, 2016-2017
  5. Distinguished Student Paper Award - The 22nd International Conference on the Principles and Practice of Constraint Programming (CP2016), September 2016
Student Supervision
  1. Kejie Zhao (2nd year, B.Eng.Sc., Summer 2017)
  2. Alice Nuz (3rd year, B.Eng.Sc., Summer 2016)