Kyle E. C. Booth

Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation

N. Minh, Kyle E. C. Booth, Jeremy Frank et al. · NASA STI Repository (National Aeronautics and Space Administration) · 64 citations · Full text

Computing, Computer Science, Algorithms +11

Branch-and-check methods for multi-level operating room planning and scheduling

Vahid Roshanaei, Kyle E. C. Booth, Dionne M. Aleman et al. · International Journal of Production Economics · 2019 · 55 citations · Full text

Management, Industrial Engineering, Operations Management +9

Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning

Kyle E. C. Booth, Tony Tran, Goldie Nejat et al. · IEEE Robotics and Automation Letters · 2016 · 50 citations · Full text

Engineering, Robotics Engineering, Mobile Robotics +11

Target Search on Road Networks With Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles

Kyle E. C. Booth, Chiara Piacentini, Sara Bernardini et al. · IEEE Robotics and Automation Letters · 2020 · 30 citations

Business, Autonomous Systems, Transportation Planning +17

Quantum Circuit Compilation: An Emerging Application for Automated Reasoning

Davide Venturelli, N. Minh, Bryan O’Gorman et al. · 2019 · 27 citations

Computing, Computer Engineering, Computer Science +14