Follow
Kyle E. C. Booth
Kyle E. C. Booth
Amazon Web Services (AWS)
Verified email at amazon.com
Title
Cited by
Cited by
Year
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
99*2018
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
592016
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
522020
A constraint programming approach to multi-robot task allocation and scheduling in retirement homes
KEC Booth, G Nejat, JC Beck
Principles and Practice of Constraint Programming: 22nd International …, 2016
482016
Quantum Circuit Compilation: An Emerging Application for Automated Reasoning
D Venturelli, M Do, B O’Gorman, J Frank, E Rieffel, KEC Booth, T Nguyen, ...
412019
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
322020
A constraint programming approach to electric vehicle routing with time windows
KEC Booth, JC Beck
Integration of Constraint Programming, Artificial Intelligence, and …, 2019
242019
Integer programming techniques for minor-embedding in quantum annealers
DE Bernal, KEC Booth, R Dridi, H Alghassi, S Tayur, D Venturelli
Integration of Constraint Programming, Artificial Intelligence, and …, 2020
232020
Logic-based decomposition methods for the travelling purchaser problem
KEC Booth, TT Tran, JC Beck
Integration of AI and OR Techniques in Constraint Programming: 13th …, 2016
212016
Quantum-accelerated constraint programming
KEC Booth, B O'Gorman, J Marshall, S Hadfield, E Rieffel
Quantum 5, 550, 2021
192021
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
172017
Learning scheduling models from event data
A Senderovich, KEC Booth, JC Beck
Proceedings of the International Conference on Automated Planning and …, 2019
102019
Quantum-accelerated global constraint filtering
KEC Booth, B O’Gorman, J Marshall, S Hadfield, E Rieffel
Principles and Practice of Constraint Programming: 26th International …, 2020
72020
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, 335-354, 2018
72018
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
62019
Optimization Approaches to Multi-robot Planning and Scheduling
KEC Booth
The 26th International Conference on Automated Planning and Scheduling, 128-130, 2016
42016
Constraint programming approaches to electric vehicle and robot routing problems
KEC Booth
University of Toronto (Canada), 2021
32021
Constraint programming models for depth-optimal qubit assignment and SWAP-based routing
KEC Booth
arXiv preprint arXiv:2306.08629, 2023
12023
Optimization and Planning Approaches for Low-level Hardware Compilation of Quantum Circuits
D Venturelli, M Do, KEC Booth, E Rieffel, J Frank, JC Beck
Bulletin of the American Physical Society, 2018
1*2018
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
2024
The system can't perform the operation now. Try again later.
Articles 1–20