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
45*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
342016
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
322016
Quantum Circuit Compilation: An Emerging Application for Automated Reasoning
D Venturelli, M Do, B O’Gorman, J Frank, E Rieffel, KEC Booth, T Nguyen, ...
182019
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
162016
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
122020
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
112017
A constraint programming approach to electric vehicle routing with time windows
KEC Booth, JC Beck
International Conference on Integration of Constraint Programming …, 2019
62019
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
52020
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
52020
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
32018
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
22020
Optimization Approaches to Multi-robot Planning and Scheduling
KEC Booth
The 26th International Conference on Automated Planning and Scheduling, 128-130, 2016
22016
Quantum-accelerated constraint programming
KEC Booth, B O'Gorman, J Marshall, S Hadfield, E Rieffel
arXiv preprint arXiv:2103.04502, 2021
12021
Learning scheduling models from event data
A Senderovich, KEC Booth, JC Beck
Proceedings of the International Conference on Automated Planning and …, 2019
12019
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
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
Quantum Computing for Constraint Programming
K Booth, B O'Gorman, J Marshall, S Hadfield, E Rieffel
Bulletin of the American Physical Society, 2021
2021
Constraint Programming Approaches to Electric Vehicle and Robot Routing Problems
KEC Booth
University of Toronto, 2021
2021
Agent-Based Systems
TC Au, B Banerjee, R Dasgupta, P Stone, H Ma, W Hönig, L Cohen, ...
2017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20