Kyle E. C. Booth
Kyle E. C. Booth
NASA Ames Research Center
Email verificata su nasa.gov - Home page
Titolo
Citata da
Citata da
Anno
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
39*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
282016
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
262016
Quantum Circuit Compilation: An Emerging Application for Automated Reasoning
D Venturelli, M Do, B O’Gorman, J Frank, E Rieffel, KEC Booth, T Nguyen, ...
152019
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
142016
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
102017
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
82020
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
32020
A constraint programming approach to electric vehicle routing with time windows
KEC Booth, JC Beck
International Conference on Integration of Constraint Programming …, 2019
32019
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
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
12020
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
12020
Quantum state verification in the quantum linear systems problem
RD Somma, Y Subasi
arXiv preprint arXiv:2007.15698, 2020
12020
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
Optimization Approaches to Multi-robot Planning and Scheduling
KEC Booth
The 26th International Conference on Automated Planning and Scheduling, 128-130, 2016
12016
Quantum-accelerated constraint programming
KEC Booth, B O'Gorman, J Marshall, S Hadfield, E Rieffel
arXiv preprint arXiv:2103.04502, 2021
2021
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
2016 Index IEEE Robotics and Automation Letters Vol.
M Abdallah, JD Adarve, BV Adorno, E Aertbelien, JK Aggarwal, ...
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20