| Comparing and integrating constraint programming and temporal planning for quantum circuit compilation KEC Booth, M Do, JC Beck, E Rieffel, D Venturelli, J Frank Twenty-Eighth International Conference on Automated Planning and Scheduling …, 2018 | 117 | 2018 |
| Branch-and-check methods for multi-level operating room planning and scheduling V Roshanaei, KEC Booth, DM Aleman, DR Urbach, JC Beck International Journal of Production Economics 220, 107433, 2020 | 81 | 2020 |
| Mixed-integer and constraint programming techniques for mobile robot task planning KEC Booth, TT Tran, G Nejat, JC Beck IEEE Robotics and Automation Letters 1 (1), 500-507, 2016 | 68 | 2016 |
| A constraint programming approach to multi-robot task allocation and scheduling in retirement homes KEC Booth, G Nejat, JC Beck International conference on principles and practice of constraint …, 2016 | 56 | 2016 |
| Quantum Circuit Compilation: An Emerging Application for Automated Reasoning D Venturelli, M Do, B O’Gorman, J Frank, E Rieffel, KEC Booth, T Nguyen, ... | 46 | 2019 |
| Target search on road networks with range-constrained UAVs and ground-based mobile recharging vehicles KEC Booth, C Piacentini, S Bernardini, JC Beck IEEE Robotics and Automation Letters 5 (4), 6702-6709, 2020 | 39 | 2020 |
| Integer programming techniques for minor-embedding in quantum annealers DE Bernal, KEC Booth, R Dridi, H Alghassi, S Tayur, D Venturelli International Conference on Integration of Constraint Programming …, 2020 | 36 | 2020 |
| A constraint programming approach to electric vehicle routing with time windows KEC Booth, JC Beck International Conference on Integration of Constraint Programming …, 2019 | 32 | 2019 |
| Logic-based decomposition methods for the travelling purchaser problem KEC Booth, TT Tran, JC Beck International Conference on AI and OR Techniques in Constriant Programming …, 2016 | 25 | 2016 |
| Quantum-accelerated constraint programming KEC Booth, B O'Gorman, J Marshall, S Hadfield, E Rieffel Quantum 5, 550, 2021 | 24 | 2021 |
| Robots in retirement homes: Person search and task planning for a group of residents by a team of assistive robots KEC Booth, SC Mohamed, S Rajaratnam, G Nejat, JC Beck IEEE Intelligent Systems 32 (6), 14-21, 2017 | 22 | 2017 |
| Learning scheduling models from event data A Senderovich, KEC Booth, JC Beck Proceedings of the International Conference on Automated Planning and …, 2019 | 14 | 2019 |
| Quantum-accelerated global constraint filtering KEC Booth, B O’Gorman, J Marshall, S Hadfield, E Rieffel International Conference on Principles and Practice of Constraint …, 2020 | 7 | 2020 |
| Intruder alert! Optimization models for solving the mobile robot graph-clear problem M Morin, MP Castro, KEC Booth, TT Tran, C Liu, JC Beck Constraints 23 (3), 335-354, 2018 | 7 | 2018 |
| A mathematical optimization framework for expansion draft decision making and analysis KEC Booth, TCY Chan, Y Shalaby Journal of Quantitative Analysis in Sports 15 (1), 27-40, 2019 | 6 | 2019 |
| Solving QUBOs with a quantum-amenable branch and bound method T Häner, KEC Booth, SE Borujeni, EY Zhu arXiv preprint arXiv:2407.20185, 2024 | 4 | 2024 |
| Constraint programming approaches to electric vehicle and robot routing problems KEC Booth University of Toronto (Canada), 2021 | 4 | 2021 |
| Optimization Approaches to Multi-robot Planning and Scheduling KEC Booth The 26th International Conference on Automated Planning and Scheduling, 128-130, 2016 | 4 | 2016 |
| Quadratic unconstrained binary optimization and constraint programming approaches for lattice-based cyclic peptide docking JK Brubaker, KEC Booth, A Arakawa, F Furrer, J Ghosh, T Sato, ... Scientific Reports 15 (1), 20395, 2025 | 3 | 2025 |
| Constraint programming models for depth-optimal qubit assignment and SWAP-based routing KEC Booth arXiv preprint arXiv:2306.08629, 2023 | 3 | 2023 |
J. Christopher BeckProfessor of Mechanical and Industrial Engineering, University of TorontoVerified email at mie.utoronto.ca
