| 2026 | CP | A Constraint Programming Approach for n-Day Lookahead Playoff Clinching in the NHL. | Gili Rosenberg, Kyle E. C. Booth, John Kyle Brubaker, Ruben S. Andrist |
| 2023 | CP | Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper). | Kyle E. C. Booth |
| 2020 | CP | Quantum-Accelerated Global Constraint Filtering. | Kyle E. C. Booth, Bryan O'Gorman, Jeffrey Marshall, Stuart Hadfield, Eleanor Gilbert Rieffel |
| 2020 | CPAIOR | Integer Programming Techniques for Minor-Embedding in Quantum Annealers. | David E. Bernal, Kyle E. C. Booth, Raouf Dridi, Hedayat Alghassi, Sridhar R. Tayur, Davide Venturelli |
| 2019 | CPAIOR | A Constraint Programming Approach to Electric Vehicle Routing with Time Windows. | Kyle E. C. Booth, J. Christopher Beck |
| 2016 | CP | A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes. | Kyle E. C. Booth, Goldie Nejat, J. Christopher Beck |
| 2016 | CPAIOR | Logic-Based Decomposition Methods for the Travelling Purchaser Problem. | Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck |
| 2016 | ISAIM | Decomposition Methods for the Travelling Purchaser Problem. | Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck |