Kyle E. C. Booth
Kyle E. C. Booth
NASA Ames Research Center
Verified email at nasa.gov - Homepage
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
28*2018
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
262016
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
222016
Logic-based decomposition methods for the travelling purchaser problem
KEC Booth, TT Tran, JC Beck
International Conference on AI and OR Techniques in Constraint Programming …, 2016
122016
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
82017
Quantum Circuit Compilation: An Emerging Application for Automated Reasoning
D Venturelli, M Do, B O’Gorman, J Frank, E Rieffel, KEC Booth, T Nguyen, ...
72019
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
32020
A Constraint Programming Approach to Electric Vehicle Routing with Time Windows
KEC Booth, JC Beck
International Conference on Integration of Constraint Programming …, 2019
22019
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
22018
Learning Scheduling Models from Event Data
A Senderovich, KEC Booth, JC Beck
Proceedings of the International Conference on Automated Planning and …, 2019
12019
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
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
2020
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
2020
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
2020
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
2019
Agent-Based Systems
TC Au, B Banerjee, R Dasgupta, P Stone, H Ma, W Hönig, L Cohen, ...
2017
Optimization Approaches to Multi-robot Planning and Scheduling
KEC Booth
The 26th International Conference on Automated Planning and Scheduling, 128-130, 2016
2016
2016 Index IEEE Robotics and Automation Letters Vol.
M Abdallah, JD Adarve, BV Adorno, E Aertbelien, JK Aggarwal, ...
The system can't perform the operation now. Try again later.
Articles 1–18