var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"kylebooth.org/pubs.bib\",\"jsonp\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Constraint programming models for depth-optimal qubit assignment and SWAP-based routing\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]}],\"year\":\"2023\",\"booktitle\":\"Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2023)\",\"pages\":\"In press\",\"url_link\":\"https://arxiv.org/abs/2306.08629\",\"url_paper\":\"https://arxiv.org/pdf/2306.08629.pdf\",\"bibtex\":\"@inproceedings{booth2023qubitrouting, \\n\\ttitle\\t     = {Constraint programming models for depth-optimal qubit assignment and SWAP-based routing},\\n        author       = {Booth, Kyle E. C.},\\n        year         = 2023,\\n\\tbooktitle    = {Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2023)},\\n\\tpages        = {In press},\\n        url_link     = {https://arxiv.org/abs/2306.08629},\\n        url_paper    = {https://arxiv.org/pdf/2306.08629.pdf}\\n}\\n\\n\",\"author_short\":[\"Booth, K. E. C.\"],\"key\":\"booth2023qubitrouting\",\"id\":\"booth2023qubitrouting\",\"bibbaseid\":\"booth-constraintprogrammingmodelsfordepthoptimalqubitassignmentandswapbasedrouting-2023\",\"role\":\"author\",\"urls\":{\" link\":\"https://arxiv.org/abs/2306.08629\",\" paper\":\"https://arxiv.org/pdf/2306.08629.pdf\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Quantum-accelerated constraint programming\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"O'Gorman\"],\"firstnames\":[\"Bryan\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Marshall\"],\"firstnames\":[\"Jeffrey\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Hadfield\"],\"firstnames\":[\"Stuart\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Rieffel\"],\"firstnames\":[\"Eleanor\"],\"suffixes\":[]}],\"year\":\"2021\",\"journal\":\"Quantum\",\"volume\":\"5\",\"pages\":\"550\",\"url_link\":\"https://quantum-journal.org/papers/q-2021-09-28-550/\",\"url_paper\":\"https://arxiv.org/pdf/2103.04502.pdf\",\"bibtex\":\"@article{booth2021quantumcp,\\n\\ttitle        = {Quantum-accelerated constraint programming},\\n\\tauthor       = {Booth, Kyle E. C. and O'Gorman, Bryan and Marshall, Jeffrey and Hadfield, Stuart and Rieffel, Eleanor},\\n\\tyear         = 2021,\\n\\tjournal      = {Quantum},\\n\\tvolume       = 5,\\n\\tpages        = 550,\\n\\turl_link     = {https://quantum-journal.org/papers/q-2021-09-28-550/},\\n\\turl_paper    = {https://arxiv.org/pdf/2103.04502.pdf}\\n}\\n\",\"author_short\":[\"Booth, K. E. C.\",\"O'Gorman, B.\",\"Marshall, J.\",\"Hadfield, S.\",\"Rieffel, E.\"],\"key\":\"booth2021quantumcp\",\"id\":\"booth2021quantumcp\",\"bibbaseid\":\"booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedconstraintprogramming-2021\",\"role\":\"author\",\"urls\":{\" link\":\"https://quantum-journal.org/papers/q-2021-09-28-550/\",\" paper\":\"https://arxiv.org/pdf/2103.04502.pdf\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":14,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Constraint programming approaches to electric vehicle and robot routing problems\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]}],\"year\":\"2021\",\"journal\":\"University of Toronto\",\"url_link\":\"https://tspace.library.utoronto.ca/handle/1807/106297\",\"url_paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/106297/2/Booth_Kyle_Ewart%20Coventry_202106_PhD_thesis.pdf\",\"bibtex\":\"@article{booth2021thesis,\\n\\ttitle        = {Constraint programming approaches to electric vehicle and robot routing problems},\\n\\tauthor       = {Booth, Kyle E. C.},\\n\\tyear         = 2021,\\n\\tjournal      = {University of Toronto},\\n\\turl_link     = {https://tspace.library.utoronto.ca/handle/1807/106297},\\n\\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/106297/2/Booth_Kyle_Ewart%20Coventry_202106_PhD_thesis.pdf}\\n}\\n\",\"author_short\":[\"Booth, K. E. C.\"],\"key\":\"booth2021thesis\",\"id\":\"booth2021thesis\",\"bibbaseid\":\"booth-constraintprogrammingapproachestoelectricvehicleandrobotroutingproblems-2021\",\"role\":\"author\",\"urls\":{\" link\":\"https://tspace.library.utoronto.ca/handle/1807/106297\",\" paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/106297/2/Booth_Kyle_Ewart%20Coventry_202106_PhD_thesis.pdf\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":12,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Quantum-accelerated global constraint filtering\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"O'Gorman\"],\"firstnames\":[\"Bryan\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Marshall\"],\"firstnames\":[\"Jeffrey\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Hadfield\"],\"firstnames\":[\"Stuart\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Rieffel\"],\"firstnames\":[\"Eleanor\"],\"suffixes\":[]}],\"year\":\"2020\",\"booktitle\":\"Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2020)\",\"pages\":\"72–89\",\"organization\":\"Springer\",\"url_link\":\"https://ntrs.nasa.gov/citations/20205003667\",\"url_paper\":\"https://ntrs.nasa.gov/api/citations/20205003667/downloads/Booth-CP-129.pdf\",\"bibtex\":\"@inproceedings{booth2020cp,\\n\\ttitle        = {Quantum-accelerated global constraint filtering},\\n\\tauthor       = {Booth, Kyle E. C. and O'Gorman, Bryan and Marshall, Jeffrey and Hadfield, Stuart and Rieffel, Eleanor},\\n\\tyear         = 2020,\\n\\tbooktitle    = {Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2020)},\\n\\tpages        = {72--89},\\n\\torganization = {Springer},\\n\\turl_link     = {https://ntrs.nasa.gov/citations/20205003667},\\n\\turl_paper    = {https://ntrs.nasa.gov/api/citations/20205003667/downloads/Booth-CP-129.pdf}\\n}\\n\",\"author_short\":[\"Booth, K. E. C.\",\"O'Gorman, B.\",\"Marshall, J.\",\"Hadfield, S.\",\"Rieffel, E.\"],\"key\":\"booth2020cp\",\"id\":\"booth2020cp\",\"bibbaseid\":\"booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedglobalconstraintfiltering-2020\",\"role\":\"author\",\"urls\":{\" link\":\"https://ntrs.nasa.gov/citations/20205003667\",\" paper\":\"https://ntrs.nasa.gov/api/citations/20205003667/downloads/Booth-CP-129.pdf\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":27,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Target search on road networks with range-constrained UAVs and ground-based mobile recharging vehicles\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Piacentini\"],\"firstnames\":[\"Chiara\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Bernardini\"],\"firstnames\":[\"Sara\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Beck\"],\"firstnames\":[\"J.\",\"Christopher\"],\"suffixes\":[]}],\"year\":\"2020\",\"journal\":\"IEEE Robotics and Automation Letters\",\"publisher\":\"IEEE\",\"volume\":\"5\",\"number\":\"4\",\"pages\":\"6702–6709\",\"url_link\":\"https://ieeexplore.ieee.org/document/9165009\",\"url_paper\":\"https://tidel.mie.utoronto.ca/pubs/Booth-RA-L-2020_postprint.pdf\",\"bibtex\":\"@article{booth2020ral,\\n\\ttitle        = {Target search on road networks with range-constrained UAVs and ground-based mobile recharging vehicles},\\n\\tauthor       = {Booth, Kyle E. C. and Piacentini, Chiara and Bernardini, Sara and Beck, J. Christopher},\\n\\tyear         = 2020,\\n\\tjournal      = {IEEE Robotics and Automation Letters},\\n\\tpublisher    = {IEEE},\\n\\tvolume       = 5,\\n\\tnumber       = 4,\\n\\tpages        = {6702--6709},\\n\\turl_link     = {https://ieeexplore.ieee.org/document/9165009},\\n\\turl_paper    = {https://tidel.mie.utoronto.ca/pubs/Booth-RA-L-2020_postprint.pdf}\\n}\\n\",\"author_short\":[\"Booth, K. E. C.\",\"Piacentini, C.\",\"Bernardini, S.\",\"Beck, J. C.\"],\"key\":\"booth2020ral\",\"id\":\"booth2020ral\",\"bibbaseid\":\"booth-piacentini-bernardini-beck-targetsearchonroadnetworkswithrangeconstraineduavsandgroundbasedmobilerechargingvehicles-2020\",\"role\":\"author\",\"urls\":{\" link\":\"https://ieeexplore.ieee.org/document/9165009\",\" paper\":\"https://tidel.mie.utoronto.ca/pubs/Booth-RA-L-2020_postprint.pdf\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":14,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Integer programming techniques for minor-embedding in quantum annealers\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Bernal\"],\"firstnames\":[\"David\",\"E\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Dridi\"],\"firstnames\":[\"Raouf\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Alghassi\"],\"firstnames\":[\"Hedayat\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tayur\"],\"firstnames\":[\"Sridhar\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Venturelli\"],\"firstnames\":[\"Davide\"],\"suffixes\":[]}],\"year\":\"2020\",\"booktitle\":\"Proceedings of the International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2020)\",\"pages\":\"In press\",\"organization\":\"Springer\",\"url_paper\":\"https://arxiv.org/pdf/1912.08314.pdf\",\"url_link\":\"https://arxiv.org/abs/1912.08314\",\"bibtex\":\"@inproceedings{bernal2019integer,\\n\\ttitle        = {Integer programming techniques for minor-embedding in quantum annealers},\\n\\tauthor       = {Bernal, David E and Booth, Kyle E. C. and Dridi, Raouf and Alghassi, Hedayat and Tayur, Sridhar and Venturelli, Davide},\\n\\tyear         = 2020,\\n\\tbooktitle    = {Proceedings of the International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2020)},\\n\\tpages        = {In press},\\n\\torganization = {Springer},\\n\\turl_paper    = {https://arxiv.org/pdf/1912.08314.pdf},\\n\\turl_link     = {https://arxiv.org/abs/1912.08314}\\n}\\n\",\"author_short\":[\"Bernal, D. E\",\"Booth, K. E. C.\",\"Dridi, R.\",\"Alghassi, H.\",\"Tayur, S.\",\"Venturelli, D.\"],\"key\":\"bernal2019integer\",\"id\":\"bernal2019integer\",\"bibbaseid\":\"bernal-booth-dridi-alghassi-tayur-venturelli-integerprogrammingtechniquesforminorembeddinginquantumannealers-2020\",\"role\":\"author\",\"urls\":{\" paper\":\"https://arxiv.org/pdf/1912.08314.pdf\",\" link\":\"https://arxiv.org/abs/1912.08314\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Branch-and-check methods for multi-level operating room planning and scheduling\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Roshanaei\"],\"firstnames\":[\"Vahid\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Aleman\"],\"firstnames\":[\"Dionne\",\"M\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Urbach\"],\"firstnames\":[\"David\",\"R\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Beck\"],\"firstnames\":[\"J\",\"Christopher\"],\"suffixes\":[]}],\"year\":\"2020\",\"journal\":\"International Journal of Production Economics\",\"publisher\":\"Elsevier\",\"volume\":\"220\",\"number\":\"\",\"pages\":\"107433\",\"url_paper\":\"https://tidel.mie.utoronto.ca/pubs/MLORPS-2019.pdf\",\"url_link\":\"https://www.sciencedirect.com/science/article/abs/pii/S0925527319302439\",\"bibtex\":\"@article{roshanaei2019branch,\\n\\ttitle        = {Branch-and-check methods for multi-level operating room planning and scheduling},\\n\\tauthor       = {Roshanaei, Vahid and Booth, Kyle E. C. and Aleman, Dionne M and Urbach, David R and Beck, J Christopher},\\n\\tyear         = 2020,\\n\\tjournal      = {International Journal of Production Economics},\\n\\tpublisher    = {Elsevier},\\n\\tvolume       = 220,\\n\\tnumber       = {},\\n\\tpages        = 107433,\\n\\turl_paper    = {https://tidel.mie.utoronto.ca/pubs/MLORPS-2019.pdf},\\n\\turl_link     = {https://www.sciencedirect.com/science/article/abs/pii/S0925527319302439}\\n}\\n\",\"author_short\":[\"Roshanaei, V.\",\"Booth, K. E. C.\",\"Aleman, D. M\",\"Urbach, D. R\",\"Beck, J C.\"],\"key\":\"roshanaei2019branch\",\"id\":\"roshanaei2019branch\",\"bibbaseid\":\"roshanaei-booth-aleman-urbach-beck-branchandcheckmethodsformultileveloperatingroomplanningandscheduling-2020\",\"role\":\"author\",\"urls\":{\" paper\":\"https://tidel.mie.utoronto.ca/pubs/MLORPS-2019.pdf\",\" link\":\"https://www.sciencedirect.com/science/article/abs/pii/S0925527319302439\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":2,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"A mathematical optimization framework for expansion draft decision making and analysis\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Chan\"],\"firstnames\":[\"Timothy\",\"CY\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Shalaby\"],\"firstnames\":[\"Yusuf\"],\"suffixes\":[]}],\"year\":\"2019\",\"journal\":\"Journal of Quantitative Analysis in Sports\",\"publisher\":\"De Gruyter\",\"volume\":\"15\",\"number\":\"1\",\"pages\":\"27–40\",\"url_paper\":\"https://www.researchgate.net/profile/Kyle_Booth2/publication/331134194_A_mathematical_optimization_framework_for_expansion_draft_decision_making_and_analysis/links/5c733f94299bf1268d22ca2c/A-mathematical-optimization-framework-for-expansion-draft-decision-making-and-analysis.pdf\",\"url_link\":\"https://www.degruyter.com/view/j/jqas.2019.15.issue-1/jqas-2018-0024/jqas-2018-0024.xml\",\"bibtex\":\"@article{booth2019mathematical,\\n\\ttitle        = {A mathematical optimization framework for expansion draft decision making and analysis},\\n\\tauthor       = {Booth, Kyle E. C. and Chan, Timothy CY and Shalaby, Yusuf},\\n\\tyear         = 2019,\\n\\tjournal      = {Journal of Quantitative Analysis in Sports},\\n\\tpublisher    = {De Gruyter},\\n\\tvolume       = 15,\\n\\tnumber       = 1,\\n\\tpages        = {27--40},\\n\\turl_paper    = {https://www.researchgate.net/profile/Kyle_Booth2/publication/331134194_A_mathematical_optimization_framework_for_expansion_draft_decision_making_and_analysis/links/5c733f94299bf1268d22ca2c/A-mathematical-optimization-framework-for-expansion-draft-decision-making-and-analysis.pdf},\\n\\turl_link     = {https://www.degruyter.com/view/j/jqas.2019.15.issue-1/jqas-2018-0024/jqas-2018-0024.xml}\\n}\\n\",\"author_short\":[\"Booth, K. E. C.\",\"Chan, T. C.\",\"Shalaby, Y.\"],\"key\":\"booth2019mathematical\",\"id\":\"booth2019mathematical\",\"bibbaseid\":\"booth-chan-shalaby-amathematicaloptimizationframeworkforexpansiondraftdecisionmakingandanalysis-2019\",\"role\":\"author\",\"urls\":{\" paper\":\"https://www.researchgate.net/profile/Kyle_Booth2/publication/331134194_A_mathematical_optimization_framework_for_expansion_draft_decision_making_and_analysis/links/5c733f94299bf1268d22ca2c/A-mathematical-optimization-framework-for-expansion-draft-decision-making-and-analysis.pdf\",\" link\":\"https://www.degruyter.com/view/j/jqas.2019.15.issue-1/jqas-2018-0024/jqas-2018-0024.xml\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":4,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"A constraint programming approach to electric vehicle routing with time windows\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Beck\"],\"firstnames\":[\"J\",\"Christopher\"],\"suffixes\":[]}],\"year\":\"2019\",\"booktitle\":\"Proceedings of the International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2019)\",\"pages\":\"129–145\",\"organization\":\"Springer\",\"url_paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/93822/3/A\\\\%20Constrant\\\\%20Programming_TSpace.pdf\",\"url_link\":\"https://link.springer.com/chapter/10.1007/978-3-030-19212-9_9\",\"bibtex\":\"@inproceedings{booth2019constraint,\\n\\ttitle        = {A constraint programming approach to electric vehicle routing with time windows},\\n\\tauthor       = {Booth, Kyle E. C. and Beck, J Christopher},\\n\\tyear         = 2019,\\n\\tbooktitle    = {Proceedings of the International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2019)},\\n\\tpages        = {129--145},\\n\\torganization = {Springer},\\n\\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/93822/3/A\\\\%20Constrant\\\\%20Programming_TSpace.pdf},\\n\\turl_link     = {https://link.springer.com/chapter/10.1007/978-3-030-19212-9_9}\\n}\\n\",\"author_short\":[\"Booth, K. E. C.\",\"Beck, J C.\"],\"key\":\"booth2019constraint\",\"id\":\"booth2019constraint\",\"bibbaseid\":\"booth-beck-aconstraintprogrammingapproachtoelectricvehicleroutingwithtimewindows-2019\",\"role\":\"author\",\"urls\":{\" paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/93822/3/A\\\\%20Constrant\\\\%20Programming_TSpace.pdf\",\" link\":\"https://link.springer.com/chapter/10.1007/978-3-030-19212-9_9\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":12,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Learning scheduling models from event data\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Senderovich\"],\"firstnames\":[\"Arik\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Beck\"],\"firstnames\":[\"J\",\"Christopher\"],\"suffixes\":[]}],\"year\":\"2019\",\"booktitle\":\"Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS2019)\",\"volume\":\"29\",\"number\":\"1\",\"pages\":\"401–409\",\"organization\":\"AAAI\",\"url_paper\":\"https://tidel.mie.utoronto.ca/pubs/Senderovich_ICAPS2019.pdf\",\"url_link\":\"https://www.aaai.org/ojs/index.php/ICAPS/article/view/3504\",\"bibtex\":\"@inproceedings{senderovich2019learning,\\n\\ttitle        = {Learning scheduling models from event data},\\n\\tauthor       = {Senderovich, Arik and Booth, Kyle E. C. and Beck, J Christopher},\\n\\tyear         = 2019,\\n\\tbooktitle    = {Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS2019)},\\n\\tvolume       = 29,\\n\\tnumber       = 1,\\n\\tpages        = {401--409},\\n\\torganization = {AAAI},\\n\\turl_paper    = {https://tidel.mie.utoronto.ca/pubs/Senderovich_ICAPS2019.pdf},\\n\\turl_link     = {https://www.aaai.org/ojs/index.php/ICAPS/article/view/3504}\\n}\\n\",\"author_short\":[\"Senderovich, A.\",\"Booth, K. E. C.\",\"Beck, J C.\"],\"key\":\"senderovich2019learning\",\"id\":\"senderovich2019learning\",\"bibbaseid\":\"senderovich-booth-beck-learningschedulingmodelsfromeventdata-2019\",\"role\":\"author\",\"urls\":{\" paper\":\"https://tidel.mie.utoronto.ca/pubs/Senderovich_ICAPS2019.pdf\",\" link\":\"https://www.aaai.org/ojs/index.php/ICAPS/article/view/3504\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":2,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Quantum circuit compilation: An emerging application for automated reasoning\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Venturelli\"],\"firstnames\":[\"Davide\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Do\"],\"firstnames\":[\"Minh\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"O'Gorman\"],\"firstnames\":[\"Bryan\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Frank\"],\"firstnames\":[\"Jeremy\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Rieffel\"],\"firstnames\":[\"Eleanor\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Nguyen\"],\"firstnames\":[\"Thanh\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Narayan\"],\"firstnames\":[\"Parvathi\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Nanda\"],\"firstnames\":[\"Sasha\"],\"suffixes\":[]}],\"year\":\"2019\",\"booktitle\":\"Proceedings of the Scheduling and Planning Applications Workshop (SPARK2019)\",\"url_paper\":\"https://pdfs.semanticscholar.org/6fcf/f8f1626c864b12ffc1e398ae9ab40cd12f0f.pdf\",\"url_link\":\"https://openreview.net/forum?id=S1eEBO3nFE\",\"bibtex\":\"@inproceedings{venturelli2019quantum,\\n\\ttitle        = {Quantum circuit compilation: An emerging application for automated reasoning},\\n\\tauthor       = {Venturelli, Davide and Do, Minh and O'Gorman, Bryan and Frank, Jeremy and Rieffel, Eleanor and Booth, Kyle E. C. and Nguyen, Thanh and Narayan, Parvathi and Nanda, Sasha},\\n\\tyear         = 2019,\\n\\tbooktitle    = {Proceedings of the Scheduling and Planning Applications Workshop (SPARK2019)},\\n\\turl_paper    = {https://pdfs.semanticscholar.org/6fcf/f8f1626c864b12ffc1e398ae9ab40cd12f0f.pdf},\\n\\turl_link     = {https://openreview.net/forum?id=S1eEBO3nFE}\\n}\\n\",\"author_short\":[\"Venturelli, D.\",\"Do, M.\",\"O'Gorman, B.\",\"Frank, J.\",\"Rieffel, E.\",\"Booth, K. E. C.\",\"Nguyen, T.\",\"Narayan, P.\",\"Nanda, S.\"],\"key\":\"venturelli2019quantum\",\"id\":\"venturelli2019quantum\",\"bibbaseid\":\"venturelli-do-ogorman-frank-rieffel-booth-nguyen-narayan-etal-quantumcircuitcompilationanemergingapplicationforautomatedreasoning-2019\",\"role\":\"author\",\"urls\":{\" paper\":\"https://pdfs.semanticscholar.org/6fcf/f8f1626c864b12ffc1e398ae9ab40cd12f0f.pdf\",\" link\":\"https://openreview.net/forum?id=S1eEBO3nFE\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":5,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Comparing and integrating constraint programming and temporal planning for quantum circuit compilation\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Do\"],\"firstnames\":[\"Minh\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Beck\"],\"firstnames\":[\"J\",\"Christopher\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Rieffel\"],\"firstnames\":[\"Eleanor\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Venturelli\"],\"firstnames\":[\"Davide\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Frank\"],\"firstnames\":[\"Jeremy\"],\"suffixes\":[]}],\"year\":\"2018\",\"booktitle\":\"Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS2018)\",\"pages\":\"366–374\",\"organization\":\"AAAI\",\"url_paper\":\"https://tidel.mie.utoronto.ca/pubs/ICAPS-2018-Booth.pdf\",\"url_link\":\"https://www.aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/viewPaper/17787\",\"bibtex\":\"@inproceedings{booth2018comparing,\\n\\ttitle        = {Comparing and integrating constraint programming and temporal planning for quantum circuit compilation},\\n\\tauthor       = {Booth, Kyle E. C. and Do, Minh and Beck, J Christopher and Rieffel, Eleanor and Venturelli, Davide and Frank, Jeremy},\\n\\tyear         = 2018,\\n\\tbooktitle    = {Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS2018)},\\n\\tpages        = {366--374},\\n\\torganization = {AAAI},\\n\\turl_paper    = {https://tidel.mie.utoronto.ca/pubs/ICAPS-2018-Booth.pdf},\\n\\turl_link     = {https://www.aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/viewPaper/17787}\\n}\\n\",\"author_short\":[\"Booth, K. E. C.\",\"Do, M.\",\"Beck, J C.\",\"Rieffel, E.\",\"Venturelli, D.\",\"Frank, J.\"],\"key\":\"booth2018comparing\",\"id\":\"booth2018comparing\",\"bibbaseid\":\"booth-do-beck-rieffel-venturelli-frank-comparingandintegratingconstraintprogrammingandtemporalplanningforquantumcircuitcompilation-2018\",\"role\":\"author\",\"urls\":{\" paper\":\"https://tidel.mie.utoronto.ca/pubs/ICAPS-2018-Booth.pdf\",\" link\":\"https://www.aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/viewPaper/17787\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":3,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Intruder alert! Optimization models for solving the mobile robot graph-clear problem\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Morin\"],\"firstnames\":[\"Michael\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Castro\"],\"firstnames\":[\"Margarita\",\"P\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tran\"],\"firstnames\":[\"Tony\",\"T\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Liu\"],\"firstnames\":[\"Chang\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Beck\"],\"firstnames\":[\"J\",\"Christopher\"],\"suffixes\":[]}],\"year\":\"2018\",\"journal\":\"Constraints\",\"publisher\":\"Springer\",\"volume\":\"23\",\"number\":\"3\",\"pages\":\"335–354\",\"url_paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/87983/1/GCP_Constraints_2018.pdf\",\"url_link\":\"https://link.springer.com/article/10.1007/s10601-018-9288-3\",\"bibtex\":\"@article{morin2018intruder,\\n\\ttitle        = {Intruder alert! Optimization models for solving the mobile robot graph-clear problem},\\n\\tauthor       = {Morin, Michael and Castro, Margarita P and Booth, Kyle E. C. and Tran, Tony T and Liu, Chang and Beck, J Christopher},\\n\\tyear         = 2018,\\n\\tjournal      = {Constraints},\\n\\tpublisher    = {Springer},\\n\\tvolume       = 23,\\n\\tnumber       = 3,\\n\\tpages        = {335--354},\\n\\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/87983/1/GCP_Constraints_2018.pdf},\\n\\turl_link     = {https://link.springer.com/article/10.1007/s10601-018-9288-3}\\n}\\n\",\"author_short\":[\"Morin, M.\",\"Castro, M. P\",\"Booth, K. E. C.\",\"Tran, T. T\",\"Liu, C.\",\"Beck, J C.\"],\"key\":\"morin2018intruder\",\"id\":\"morin2018intruder\",\"bibbaseid\":\"morin-castro-booth-tran-liu-beck-intruderalertoptimizationmodelsforsolvingthemobilerobotgraphclearproblem-2018\",\"role\":\"author\",\"urls\":{\" paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/87983/1/GCP_Constraints_2018.pdf\",\" link\":\"https://link.springer.com/article/10.1007/s10601-018-9288-3\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":2,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Robots in retirement homes: Person search and task planning for a group of residents by a team of assistive robots\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Mohamed\"],\"firstnames\":[\"Sharaf\",\"C\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Rajaratnam\"],\"firstnames\":[\"Sanjif\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Nejat\"],\"firstnames\":[\"Goldie\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Beck\"],\"firstnames\":[\"J\",\"Christopher\"],\"suffixes\":[]}],\"year\":\"2017\",\"journal\":\"IEEE Intelligent Systems\",\"publisher\":\"IEEE\",\"volume\":\"32\",\"number\":\"6\",\"pages\":\"14–21\",\"url_paper\":\"https://tidel.mie.utoronto.ca/pubs/Booth-IEEE-IS_2017-Postprint.pdf\",\"url_link\":\"https://ieeexplore.ieee.org/abstract/document/8268000\",\"bibtex\":\"@article{booth2017robots,\\n\\ttitle        = {Robots in retirement homes: Person search and task planning for a group of residents by a team of assistive robots},\\n\\tauthor       = {Booth, Kyle E. C. and Mohamed, Sharaf C and Rajaratnam, Sanjif and Nejat, Goldie and Beck, J Christopher},\\n\\tyear         = 2017,\\n\\tjournal      = {IEEE Intelligent Systems},\\n\\tpublisher    = {IEEE},\\n\\tvolume       = 32,\\n\\tnumber       = 6,\\n\\tpages        = {14--21},\\n\\turl_paper    = {https://tidel.mie.utoronto.ca/pubs/Booth-IEEE-IS_2017-Postprint.pdf},\\n\\turl_link     = {https://ieeexplore.ieee.org/abstract/document/8268000}\\n}\\n\",\"author_short\":[\"Booth, K. E. C.\",\"Mohamed, S. C\",\"Rajaratnam, S.\",\"Nejat, G.\",\"Beck, J C.\"],\"key\":\"booth2017robots\",\"id\":\"booth2017robots\",\"bibbaseid\":\"booth-mohamed-rajaratnam-nejat-beck-robotsinretirementhomespersonsearchandtaskplanningforagroupofresidentsbyateamofassistiverobots-2017\",\"role\":\"author\",\"urls\":{\" paper\":\"https://tidel.mie.utoronto.ca/pubs/Booth-IEEE-IS_2017-Postprint.pdf\",\" link\":\"https://ieeexplore.ieee.org/abstract/document/8268000\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\",\"nejat, g\":\"https://bibbase.org/show?bib=https://dblp.org/pid/14/3835.bib\"}},\"downloads\":10,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"A constraint programming approach to multi-robot task allocation and scheduling in retirement homes\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Nejat\"],\"firstnames\":[\"Goldie\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Beck\"],\"firstnames\":[\"J\",\"Christopher\"],\"suffixes\":[]}],\"year\":\"2016\",\"booktitle\":\"Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2016)\",\"pages\":\"539–555\",\"organization\":\"Springer\",\"url_paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/81341/1/Booth_CP2016.pdf\",\"url_link\":\"https://link.springer.com/chapter/10.1007/978-3-319-44953-1_34\",\"bibtex\":\"@inproceedings{booth2016constraint,\\n\\ttitle        = {A constraint programming approach to multi-robot task allocation and scheduling in retirement homes},\\n\\tauthor       = {Booth, Kyle E. C. and Nejat, Goldie and Beck, J Christopher},\\n\\tyear         = 2016,\\n\\tbooktitle    = {Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2016)},\\n\\tpages        = {539--555},\\n\\torganization = {Springer},\\n\\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/81341/1/Booth_CP2016.pdf},\\n\\turl_link     = {https://link.springer.com/chapter/10.1007/978-3-319-44953-1_34}\\n}\\n\",\"author_short\":[\"Booth, K. E. C.\",\"Nejat, G.\",\"Beck, J C.\"],\"key\":\"booth2016constraint\",\"id\":\"booth2016constraint\",\"bibbaseid\":\"booth-nejat-beck-aconstraintprogrammingapproachtomultirobottaskallocationandschedulinginretirementhomes-2016\",\"role\":\"author\",\"urls\":{\" paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/81341/1/Booth_CP2016.pdf\",\" link\":\"https://link.springer.com/chapter/10.1007/978-3-319-44953-1_34\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\",\"nejat, g\":\"https://bibbase.org/show?bib=https://dblp.org/pid/14/3835.bib\"}},\"downloads\":6,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Mixed-integer and constraint programming techniques for mobile robot task planning\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tran\"],\"firstnames\":[\"Tony\",\"T\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Nejat\"],\"firstnames\":[\"Goldie\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Beck\"],\"firstnames\":[\"J\",\"Christopher\"],\"suffixes\":[]}],\"year\":\"2016\",\"journal\":\"IEEE Robotics and Automation Letters\",\"publisher\":\"IEEE\",\"volume\":\"1\",\"number\":\"1\",\"pages\":\"500–507\",\"url_paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/71454/1/LRA2522096.pdf\",\"url_link\":\"https://ieeexplore.ieee.org/abstract/document/7393463\",\"bibtex\":\"@article{booth2016mixed,\\n\\ttitle        = {Mixed-integer and constraint programming techniques for mobile robot task planning},\\n\\tauthor       = {Booth, Kyle E. C. and Tran, Tony T and Nejat, Goldie and Beck, J Christopher},\\n\\tyear         = 2016,\\n\\tjournal      = {IEEE Robotics and Automation Letters},\\n\\tpublisher    = {IEEE},\\n\\tvolume       = 1,\\n\\tnumber       = 1,\\n\\tpages        = {500--507},\\n\\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/71454/1/LRA2522096.pdf},\\n\\turl_link     = {https://ieeexplore.ieee.org/abstract/document/7393463}\\n}\\n\",\"author_short\":[\"Booth, K. E. C.\",\"Tran, T. T\",\"Nejat, G.\",\"Beck, J C.\"],\"key\":\"booth2016mixed\",\"id\":\"booth2016mixed\",\"bibbaseid\":\"booth-tran-nejat-beck-mixedintegerandconstraintprogrammingtechniquesformobilerobottaskplanning-2016\",\"role\":\"author\",\"urls\":{\" paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/71454/1/LRA2522096.pdf\",\" link\":\"https://ieeexplore.ieee.org/abstract/document/7393463\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\",\"nejat, g\":\"https://bibbase.org/show?bib=https://dblp.org/pid/14/3835.bib\"}},\"downloads\":15,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Logic-based decomposition methods for the travelling purchaser problem\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tran\"],\"firstnames\":[\"Tony\",\"T\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Beck\"],\"firstnames\":[\"J\",\"Christopher\"],\"suffixes\":[]}],\"year\":\"2016\",\"booktitle\":\"Proceedings of the International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2016)\",\"pages\":\"55–64\",\"organization\":\"Springer\",\"url_paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/72415/1/Booth_CPAIOR2016.pdf\",\"url_link\":\"https://link.springer.com/chapter/10.1007/978-3-319-33954-2_5\",\"bibtex\":\"@inproceedings{booth2016logic,\\n\\ttitle        = {Logic-based decomposition methods for the travelling purchaser problem},\\n\\tauthor       = {Booth, Kyle E. C. and Tran, Tony T and Beck, J Christopher},\\n\\tyear         = 2016,\\n\\tbooktitle    = {Proceedings of the International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2016)},\\n\\tpages        = {55--64},\\n\\torganization = {Springer},\\n\\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/72415/1/Booth_CPAIOR2016.pdf},\\n\\turl_link     = {https://link.springer.com/chapter/10.1007/978-3-319-33954-2_5}\\n}\\n\",\"author_short\":[\"Booth, K. E. C.\",\"Tran, T. T\",\"Beck, J C.\"],\"key\":\"booth2016logic\",\"id\":\"booth2016logic\",\"bibbaseid\":\"booth-tran-beck-logicbaseddecompositionmethodsforthetravellingpurchaserproblem-2016\",\"role\":\"author\",\"urls\":{\" paper\":\"https://tspace.library.utoronto.ca/bitstream/1807/72415/1/Booth_CPAIOR2016.pdf\",\" link\":\"https://link.springer.com/chapter/10.1007/978-3-319-33954-2_5\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":4,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Decomposition methods for the travelling purchaser problem.\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Booth\"],\"firstnames\":[\"Kyle\",\"E.\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tran\"],\"firstnames\":[\"Tony\",\"T\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Beck\"],\"firstnames\":[\"J\",\"Christopher\"],\"suffixes\":[]}],\"year\":\"2016\",\"booktitle\":\"International Symposium on Artificial Intelligence and Mathematics (ISAIM2016)\",\"url_paper\":\"http://icaps16.icaps-conference.org/proceedings/dc/dc16.pdf#page=129\",\"bibtex\":\"@inproceedings{booth2016decomposition,\\n\\ttitle        = {Decomposition methods for the travelling purchaser problem.},\\n\\tauthor       = {Booth, Kyle E. C. and Tran, Tony T and Beck, J Christopher},\\n\\tyear         = 2016,\\n\\tbooktitle    = {International Symposium on Artificial Intelligence and Mathematics (ISAIM2016)},\\n\\turl_paper    = {http://icaps16.icaps-conference.org/proceedings/dc/dc16.pdf#page=129}\\n}\\n\\n\",\"author_short\":[\"Booth, K. E. C.\",\"Tran, T. T\",\"Beck, J C.\"],\"key\":\"booth2016decomposition\",\"id\":\"booth2016decomposition\",\"bibbaseid\":\"booth-tran-beck-decompositionmethodsforthetravellingpurchaserproblem-2016\",\"role\":\"author\",\"urls\":{\" paper\":\"http://icaps16.icaps-conference.org/proceedings/dc/dc16.pdf#page=129\"},\"metadata\":{\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\"downloads\":0,\"html\":\"\"}],\n      metadata: {\"owner\":\"booth, k\",\"authorlinks\":{\"booth, k\":\"https://kylebooth.org/\"}},\n      ownerID: \"SzNomQGdD8Kjq5y6h\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"pubs.bib\" href=\"data:text/bibtex;base64,QGlucHJvY2VlZGluZ3N7Ym9vdGgyMDIzcXViaXRyb3V0aW5nLCAKCXRpdGxlCSAgICAgPSB7Q29uc3RyYWludCBwcm9ncmFtbWluZyBtb2RlbHMgZm9yIGRlcHRoLW9wdGltYWwgcXViaXQgYXNzaWdubWVudCBhbmQgU1dBUC1iYXNlZCByb3V0aW5nfSwKICAgICAgICBhdXRob3IgICAgICAgPSB7Qm9vdGgsIEt5bGUgRS4gQy59LAogICAgICAgIHllYXIgICAgICAgICA9IDIwMjMsCglib29rdGl0bGUgICAgPSB7UHJvY2VlZGluZ3Mgb2YgdGhlIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBQcmluY2lwbGVzIGFuZCBQcmFjdGljZSBvZiBDb25zdHJhaW50IFByb2dyYW1taW5nIChDUDIwMjMpfSwKCXBhZ2VzICAgICAgICA9IHtJbiBwcmVzc30sCiAgICAgICAgdXJsX2xpbmsgICAgID0ge2h0dHBzOi8vYXJ4aXYub3JnL2Ficy8yMzA2LjA4NjI5fSwKICAgICAgICB1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvcGRmLzIzMDYuMDg2MjkucGRmfQp9CgoKCkBhcnRpY2xle2Jvb3RoMjAyMXF1YW50dW1jcCwKCXRpdGxlICAgICAgICA9IHtRdWFudHVtLWFjY2VsZXJhdGVkIGNvbnN0cmFpbnQgcHJvZ3JhbW1pbmd9LAoJYXV0aG9yICAgICAgID0ge0Jvb3RoLCBLeWxlIEUuIEMuIGFuZCBPJ0dvcm1hbiwgQnJ5YW4gYW5kIE1hcnNoYWxsLCBKZWZmcmV5IGFuZCBIYWRmaWVsZCwgU3R1YXJ0IGFuZCBSaWVmZmVsLCBFbGVhbm9yfSwKCXllYXIgICAgICAgICA9IDIwMjEsCglqb3VybmFsICAgICAgPSB7UXVhbnR1bX0sCgl2b2x1bWUgICAgICAgPSA1LAoJcGFnZXMgICAgICAgID0gNTUwLAoJdXJsX2xpbmsgICAgID0ge2h0dHBzOi8vcXVhbnR1bS1qb3VybmFsLm9yZy9wYXBlcnMvcS0yMDIxLTA5LTI4LTU1MC99LAoJdXJsX3BhcGVyICAgID0ge2h0dHBzOi8vYXJ4aXYub3JnL3BkZi8yMTAzLjA0NTAyLnBkZn0KfQoKCkBhcnRpY2xle2Jvb3RoMjAyMXRoZXNpcywKCXRpdGxlICAgICAgICA9IHtDb25zdHJhaW50IHByb2dyYW1taW5nIGFwcHJvYWNoZXMgdG8gZWxlY3RyaWMgdmVoaWNsZSBhbmQgcm9ib3Qgcm91dGluZyBwcm9ibGVtc30sCglhdXRob3IgICAgICAgPSB7Qm9vdGgsIEt5bGUgRS4gQy59LAoJeWVhciAgICAgICAgID0gMjAyMSwKCWpvdXJuYWwgICAgICA9IHtVbml2ZXJzaXR5IG9mIFRvcm9udG99LAoJdXJsX2xpbmsgICAgID0ge2h0dHBzOi8vdHNwYWNlLmxpYnJhcnkudXRvcm9udG8uY2EvaGFuZGxlLzE4MDcvMTA2Mjk3fSwKCXVybF9wYXBlciAgICA9IHtodHRwczovL3RzcGFjZS5saWJyYXJ5LnV0b3JvbnRvLmNhL2JpdHN0cmVhbS8xODA3LzEwNjI5Ny8yL0Jvb3RoX0t5bGVfRXdhcnQlMjBDb3ZlbnRyeV8yMDIxMDZfUGhEX3RoZXNpcy5wZGZ9Cn0KCgpAaW5wcm9jZWVkaW5nc3tib290aDIwMjBjcCwKCXRpdGxlICAgICAgICA9IHtRdWFudHVtLWFjY2VsZXJhdGVkIGdsb2JhbCBjb25zdHJhaW50IGZpbHRlcmluZ30sCglhdXRob3IgICAgICAgPSB7Qm9vdGgsIEt5bGUgRS4gQy4gYW5kIE8nR29ybWFuLCBCcnlhbiBhbmQgTWFyc2hhbGwsIEplZmZyZXkgYW5kIEhhZGZpZWxkLCBTdHVhcnQgYW5kIFJpZWZmZWwsIEVsZWFub3J9LAoJeWVhciAgICAgICAgID0gMjAyMCwKCWJvb2t0aXRsZSAgICA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIFByaW5jaXBsZXMgYW5kIFByYWN0aWNlIG9mIENvbnN0cmFpbnQgUHJvZ3JhbW1pbmcgKENQMjAyMCl9LAoJcGFnZXMgICAgICAgID0gezcyLS04OX0sCglvcmdhbml6YXRpb24gPSB7U3ByaW5nZXJ9LAoJdXJsX2xpbmsgICAgID0ge2h0dHBzOi8vbnRycy5uYXNhLmdvdi9jaXRhdGlvbnMvMjAyMDUwMDM2Njd9LAoJdXJsX3BhcGVyICAgID0ge2h0dHBzOi8vbnRycy5uYXNhLmdvdi9hcGkvY2l0YXRpb25zLzIwMjA1MDAzNjY3L2Rvd25sb2Fkcy9Cb290aC1DUC0xMjkucGRmfQp9CgoKQGFydGljbGV7Ym9vdGgyMDIwcmFsLAoJdGl0bGUgICAgICAgID0ge1RhcmdldCBzZWFyY2ggb24gcm9hZCBuZXR3b3JrcyB3aXRoIHJhbmdlLWNvbnN0cmFpbmVkIFVBVnMgYW5kIGdyb3VuZC1iYXNlZCBtb2JpbGUgcmVjaGFyZ2luZyB2ZWhpY2xlc30sCglhdXRob3IgICAgICAgPSB7Qm9vdGgsIEt5bGUgRS4gQy4gYW5kIFBpYWNlbnRpbmksIENoaWFyYSBhbmQgQmVybmFyZGluaSwgU2FyYSBhbmQgQmVjaywgSi4gQ2hyaXN0b3BoZXJ9LAoJeWVhciAgICAgICAgID0gMjAyMCwKCWpvdXJuYWwgICAgICA9IHtJRUVFIFJvYm90aWNzIGFuZCBBdXRvbWF0aW9uIExldHRlcnN9LAoJcHVibGlzaGVyICAgID0ge0lFRUV9LAoJdm9sdW1lICAgICAgID0gNSwKCW51bWJlciAgICAgICA9IDQsCglwYWdlcyAgICAgICAgPSB7NjcwMi0tNjcwOX0sCgl1cmxfbGluayAgICAgPSB7aHR0cHM6Ly9pZWVleHBsb3JlLmllZWUub3JnL2RvY3VtZW50LzkxNjUwMDl9LAoJdXJsX3BhcGVyICAgID0ge2h0dHBzOi8vdGlkZWwubWllLnV0b3JvbnRvLmNhL3B1YnMvQm9vdGgtUkEtTC0yMDIwX3Bvc3RwcmludC5wZGZ9Cn0KCgpAaW5wcm9jZWVkaW5nc3tiZXJuYWwyMDE5aW50ZWdlciwKCXRpdGxlICAgICAgICA9IHtJbnRlZ2VyIHByb2dyYW1taW5nIHRlY2huaXF1ZXMgZm9yIG1pbm9yLWVtYmVkZGluZyBpbiBxdWFudHVtIGFubmVhbGVyc30sCglhdXRob3IgICAgICAgPSB7QmVybmFsLCBEYXZpZCBFIGFuZCBCb290aCwgS3lsZSBFLiBDLiBhbmQgRHJpZGksIFJhb3VmIGFuZCBBbGdoYXNzaSwgSGVkYXlhdCBhbmQgVGF5dXIsIFNyaWRoYXIgYW5kIFZlbnR1cmVsbGksIERhdmlkZX0sCgl5ZWFyICAgICAgICAgPSAyMDIwLAoJYm9va3RpdGxlICAgID0ge1Byb2NlZWRpbmdzIG9mIHRoZSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSW50ZWdyYXRpb24gb2YgQ29uc3RyYWludCBQcm9ncmFtbWluZywgQXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2UsIGFuZCBPcGVyYXRpb25zIFJlc2VhcmNoIChDUEFJT1IyMDIwKX0sCglwYWdlcyAgICAgICAgPSB7SW4gcHJlc3N9LAoJb3JnYW5pemF0aW9uID0ge1NwcmluZ2VyfSwKCXVybF9wYXBlciAgICA9IHtodHRwczovL2FyeGl2Lm9yZy9wZGYvMTkxMi4wODMxNC5wZGZ9LAoJdXJsX2xpbmsgICAgID0ge2h0dHBzOi8vYXJ4aXYub3JnL2Ficy8xOTEyLjA4MzE0fQp9CgoKQGFydGljbGV7cm9zaGFuYWVpMjAxOWJyYW5jaCwKCXRpdGxlICAgICAgICA9IHtCcmFuY2gtYW5kLWNoZWNrIG1ldGhvZHMgZm9yIG11bHRpLWxldmVsIG9wZXJhdGluZyByb29tIHBsYW5uaW5nIGFuZCBzY2hlZHVsaW5nfSwKCWF1dGhvciAgICAgICA9IHtSb3NoYW5hZWksIFZhaGlkIGFuZCBCb290aCwgS3lsZSBFLiBDLiBhbmQgQWxlbWFuLCBEaW9ubmUgTSBhbmQgVXJiYWNoLCBEYXZpZCBSIGFuZCBCZWNrLCBKIENocmlzdG9waGVyfSwKCXllYXIgICAgICAgICA9IDIwMjAsCglqb3VybmFsICAgICAgPSB7SW50ZXJuYXRpb25hbCBKb3VybmFsIG9mIFByb2R1Y3Rpb24gRWNvbm9taWNzfSwKCXB1Ymxpc2hlciAgICA9IHtFbHNldmllcn0sCgl2b2x1bWUgICAgICAgPSAyMjAsCgludW1iZXIgICAgICAgPSB7fSwKCXBhZ2VzICAgICAgICA9IDEwNzQzMywKCXVybF9wYXBlciAgICA9IHtodHRwczovL3RpZGVsLm1pZS51dG9yb250by5jYS9wdWJzL01MT1JQUy0yMDE5LnBkZn0sCgl1cmxfbGluayAgICAgPSB7aHR0cHM6Ly93d3cuc2NpZW5jZWRpcmVjdC5jb20vc2NpZW5jZS9hcnRpY2xlL2Ficy9waWkvUzA5MjU1MjczMTkzMDI0Mzl9Cn0KCgpAYXJ0aWNsZXtib290aDIwMTltYXRoZW1hdGljYWwsCgl0aXRsZSAgICAgICAgPSB7QSBtYXRoZW1hdGljYWwgb3B0aW1pemF0aW9uIGZyYW1ld29yayBmb3IgZXhwYW5zaW9uIGRyYWZ0IGRlY2lzaW9uIG1ha2luZyBhbmQgYW5hbHlzaXN9LAoJYXV0aG9yICAgICAgID0ge0Jvb3RoLCBLeWxlIEUuIEMuIGFuZCBDaGFuLCBUaW1vdGh5IENZIGFuZCBTaGFsYWJ5LCBZdXN1Zn0sCgl5ZWFyICAgICAgICAgPSAyMDE5LAoJam91cm5hbCAgICAgID0ge0pvdXJuYWwgb2YgUXVhbnRpdGF0aXZlIEFuYWx5c2lzIGluIFNwb3J0c30sCglwdWJsaXNoZXIgICAgPSB7RGUgR3J1eXRlcn0sCgl2b2x1bWUgICAgICAgPSAxNSwKCW51bWJlciAgICAgICA9IDEsCglwYWdlcyAgICAgICAgPSB7MjctLTQwfSwKCXVybF9wYXBlciAgICA9IHtodHRwczovL3d3dy5yZXNlYXJjaGdhdGUubmV0L3Byb2ZpbGUvS3lsZV9Cb290aDIvcHVibGljYXRpb24vMzMxMTM0MTk0X0FfbWF0aGVtYXRpY2FsX29wdGltaXphdGlvbl9mcmFtZXdvcmtfZm9yX2V4cGFuc2lvbl9kcmFmdF9kZWNpc2lvbl9tYWtpbmdfYW5kX2FuYWx5c2lzL2xpbmtzLzVjNzMzZjk0Mjk5YmYxMjY4ZDIyY2EyYy9BLW1hdGhlbWF0aWNhbC1vcHRpbWl6YXRpb24tZnJhbWV3b3JrLWZvci1leHBhbnNpb24tZHJhZnQtZGVjaXNpb24tbWFraW5nLWFuZC1hbmFseXNpcy5wZGZ9LAoJdXJsX2xpbmsgICAgID0ge2h0dHBzOi8vd3d3LmRlZ3J1eXRlci5jb20vdmlldy9qL2pxYXMuMjAxOS4xNS5pc3N1ZS0xL2pxYXMtMjAxOC0wMDI0L2pxYXMtMjAxOC0wMDI0LnhtbH0KfQoKCkBpbnByb2NlZWRpbmdze2Jvb3RoMjAxOWNvbnN0cmFpbnQsCgl0aXRsZSAgICAgICAgPSB7QSBjb25zdHJhaW50IHByb2dyYW1taW5nIGFwcHJvYWNoIHRvIGVsZWN0cmljIHZlaGljbGUgcm91dGluZyB3aXRoIHRpbWUgd2luZG93c30sCglhdXRob3IgICAgICAgPSB7Qm9vdGgsIEt5bGUgRS4gQy4gYW5kIEJlY2ssIEogQ2hyaXN0b3BoZXJ9LAoJeWVhciAgICAgICAgID0gMjAxOSwKCWJvb2t0aXRsZSAgICA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVncmF0aW9uIG9mIENvbnN0cmFpbnQgUHJvZ3JhbW1pbmcsIEFydGlmaWNpYWwgSW50ZWxsaWdlbmNlLCBhbmQgT3BlcmF0aW9ucyBSZXNlYXJjaCAoQ1BBSU9SMjAxOSl9LAoJcGFnZXMgICAgICAgID0gezEyOS0tMTQ1fSwKCW9yZ2FuaXphdGlvbiA9IHtTcHJpbmdlcn0sCgl1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly90c3BhY2UubGlicmFyeS51dG9yb250by5jYS9iaXRzdHJlYW0vMTgwNy85MzgyMi8zL0FcJTIwQ29uc3RyYW50XCUyMFByb2dyYW1taW5nX1RTcGFjZS5wZGZ9LAoJdXJsX2xpbmsgICAgID0ge2h0dHBzOi8vbGluay5zcHJpbmdlci5jb20vY2hhcHRlci8xMC4xMDA3Lzk3OC0zLTAzMC0xOTIxMi05Xzl9Cn0KCgpAaW5wcm9jZWVkaW5nc3tzZW5kZXJvdmljaDIwMTlsZWFybmluZywKCXRpdGxlICAgICAgICA9IHtMZWFybmluZyBzY2hlZHVsaW5nIG1vZGVscyBmcm9tIGV2ZW50IGRhdGF9LAoJYXV0aG9yICAgICAgID0ge1NlbmRlcm92aWNoLCBBcmlrIGFuZCBCb290aCwgS3lsZSBFLiBDLiBhbmQgQmVjaywgSiBDaHJpc3RvcGhlcn0sCgl5ZWFyICAgICAgICAgPSAyMDE5LAoJYm9va3RpdGxlICAgID0ge1Byb2NlZWRpbmdzIG9mIHRoZSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gQXV0b21hdGVkIFBsYW5uaW5nIGFuZCBTY2hlZHVsaW5nIChJQ0FQUzIwMTkpfSwKCXZvbHVtZSAgICAgICA9IDI5LAoJbnVtYmVyICAgICAgID0gMSwKCXBhZ2VzICAgICAgICA9IHs0MDEtLTQwOX0sCglvcmdhbml6YXRpb24gPSB7QUFBSX0sCgl1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly90aWRlbC5taWUudXRvcm9udG8uY2EvcHVicy9TZW5kZXJvdmljaF9JQ0FQUzIwMTkucGRmfSwKCXVybF9saW5rICAgICA9IHtodHRwczovL3d3dy5hYWFpLm9yZy9vanMvaW5kZXgucGhwL0lDQVBTL2FydGljbGUvdmlldy8zNTA0fQp9CgoKQGlucHJvY2VlZGluZ3N7dmVudHVyZWxsaTIwMTlxdWFudHVtLAoJdGl0bGUgICAgICAgID0ge1F1YW50dW0gY2lyY3VpdCBjb21waWxhdGlvbjogQW4gZW1lcmdpbmcgYXBwbGljYXRpb24gZm9yIGF1dG9tYXRlZCByZWFzb25pbmd9LAoJYXV0aG9yICAgICAgID0ge1ZlbnR1cmVsbGksIERhdmlkZSBhbmQgRG8sIE1pbmggYW5kIE8nR29ybWFuLCBCcnlhbiBhbmQgRnJhbmssIEplcmVteSBhbmQgUmllZmZlbCwgRWxlYW5vciBhbmQgQm9vdGgsIEt5bGUgRS4gQy4gYW5kIE5ndXllbiwgVGhhbmggYW5kIE5hcmF5YW4sIFBhcnZhdGhpIGFuZCBOYW5kYSwgU2FzaGF9LAoJeWVhciAgICAgICAgID0gMjAxOSwKCWJvb2t0aXRsZSAgICA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgU2NoZWR1bGluZyBhbmQgUGxhbm5pbmcgQXBwbGljYXRpb25zIFdvcmtzaG9wIChTUEFSSzIwMTkpfSwKCXVybF9wYXBlciAgICA9IHtodHRwczovL3BkZnMuc2VtYW50aWNzY2hvbGFyLm9yZy82ZmNmL2Y4ZjE2MjZjODY0YjEyZmZjMWUzOThhZTlhYjQwY2QxMmYwZi5wZGZ9LAoJdXJsX2xpbmsgICAgID0ge2h0dHBzOi8vb3BlbnJldmlldy5uZXQvZm9ydW0/aWQ9UzFlRUJPM25GRX0KfQoKCkBpbnByb2NlZWRpbmdze2Jvb3RoMjAxOGNvbXBhcmluZywKCXRpdGxlICAgICAgICA9IHtDb21wYXJpbmcgYW5kIGludGVncmF0aW5nIGNvbnN0cmFpbnQgcHJvZ3JhbW1pbmcgYW5kIHRlbXBvcmFsIHBsYW5uaW5nIGZvciBxdWFudHVtIGNpcmN1aXQgY29tcGlsYXRpb259LAoJYXV0aG9yICAgICAgID0ge0Jvb3RoLCBLeWxlIEUuIEMuIGFuZCBEbywgTWluaCBhbmQgQmVjaywgSiBDaHJpc3RvcGhlciBhbmQgUmllZmZlbCwgRWxlYW5vciBhbmQgVmVudHVyZWxsaSwgRGF2aWRlIGFuZCBGcmFuaywgSmVyZW15fSwKCXllYXIgICAgICAgICA9IDIwMTgsCglib29rdGl0bGUgICAgPSB7UHJvY2VlZGluZ3Mgb2YgdGhlIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBBdXRvbWF0ZWQgUGxhbm5pbmcgYW5kIFNjaGVkdWxpbmcgKElDQVBTMjAxOCl9LAoJcGFnZXMgICAgICAgID0gezM2Ni0tMzc0fSwKCW9yZ2FuaXphdGlvbiA9IHtBQUFJfSwKCXVybF9wYXBlciAgICA9IHtodHRwczovL3RpZGVsLm1pZS51dG9yb250by5jYS9wdWJzL0lDQVBTLTIwMTgtQm9vdGgucGRmfSwKCXVybF9saW5rICAgICA9IHtodHRwczovL3d3dy5hYWFpLm9yZy9vY3MvaW5kZXgucGhwL0lDQVBTL0lDQVBTMTgvcGFwZXIvdmlld1BhcGVyLzE3Nzg3fQp9CgoKQGFydGljbGV7bW9yaW4yMDE4aW50cnVkZXIsCgl0aXRsZSAgICAgICAgPSB7SW50cnVkZXIgYWxlcnQhIE9wdGltaXphdGlvbiBtb2RlbHMgZm9yIHNvbHZpbmcgdGhlIG1vYmlsZSByb2JvdCBncmFwaC1jbGVhciBwcm9ibGVtfSwKCWF1dGhvciAgICAgICA9IHtNb3JpbiwgTWljaGFlbCBhbmQgQ2FzdHJvLCBNYXJnYXJpdGEgUCBhbmQgQm9vdGgsIEt5bGUgRS4gQy4gYW5kIFRyYW4sIFRvbnkgVCBhbmQgTGl1LCBDaGFuZyBhbmQgQmVjaywgSiBDaHJpc3RvcGhlcn0sCgl5ZWFyICAgICAgICAgPSAyMDE4LAoJam91cm5hbCAgICAgID0ge0NvbnN0cmFpbnRzfSwKCXB1Ymxpc2hlciAgICA9IHtTcHJpbmdlcn0sCgl2b2x1bWUgICAgICAgPSAyMywKCW51bWJlciAgICAgICA9IDMsCglwYWdlcyAgICAgICAgPSB7MzM1LS0zNTR9LAoJdXJsX3BhcGVyICAgID0ge2h0dHBzOi8vdHNwYWNlLmxpYnJhcnkudXRvcm9udG8uY2EvYml0c3RyZWFtLzE4MDcvODc5ODMvMS9HQ1BfQ29uc3RyYWludHNfMjAxOC5wZGZ9LAoJdXJsX2xpbmsgICAgID0ge2h0dHBzOi8vbGluay5zcHJpbmdlci5jb20vYXJ0aWNsZS8xMC4xMDA3L3MxMDYwMS0wMTgtOTI4OC0zfQp9CgoKQGFydGljbGV7Ym9vdGgyMDE3cm9ib3RzLAoJdGl0bGUgICAgICAgID0ge1JvYm90cyBpbiByZXRpcmVtZW50IGhvbWVzOiBQZXJzb24gc2VhcmNoIGFuZCB0YXNrIHBsYW5uaW5nIGZvciBhIGdyb3VwIG9mIHJlc2lkZW50cyBieSBhIHRlYW0gb2YgYXNzaXN0aXZlIHJvYm90c30sCglhdXRob3IgICAgICAgPSB7Qm9vdGgsIEt5bGUgRS4gQy4gYW5kIE1vaGFtZWQsIFNoYXJhZiBDIGFuZCBSYWphcmF0bmFtLCBTYW5qaWYgYW5kIE5lamF0LCBHb2xkaWUgYW5kIEJlY2ssIEogQ2hyaXN0b3BoZXJ9LAoJeWVhciAgICAgICAgID0gMjAxNywKCWpvdXJuYWwgICAgICA9IHtJRUVFIEludGVsbGlnZW50IFN5c3RlbXN9LAoJcHVibGlzaGVyICAgID0ge0lFRUV9LAoJdm9sdW1lICAgICAgID0gMzIsCgludW1iZXIgICAgICAgPSA2LAoJcGFnZXMgICAgICAgID0gezE0LS0yMX0sCgl1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly90aWRlbC5taWUudXRvcm9udG8uY2EvcHVicy9Cb290aC1JRUVFLUlTXzIwMTctUG9zdHByaW50LnBkZn0sCgl1cmxfbGluayAgICAgPSB7aHR0cHM6Ly9pZWVleHBsb3JlLmllZWUub3JnL2Fic3RyYWN0L2RvY3VtZW50LzgyNjgwMDB9Cn0KCgpAaW5wcm9jZWVkaW5nc3tib290aDIwMTZjb25zdHJhaW50LAoJdGl0bGUgICAgICAgID0ge0EgY29uc3RyYWludCBwcm9ncmFtbWluZyBhcHByb2FjaCB0byBtdWx0aS1yb2JvdCB0YXNrIGFsbG9jYXRpb24gYW5kIHNjaGVkdWxpbmcgaW4gcmV0aXJlbWVudCBob21lc30sCglhdXRob3IgICAgICAgPSB7Qm9vdGgsIEt5bGUgRS4gQy4gYW5kIE5lamF0LCBHb2xkaWUgYW5kIEJlY2ssIEogQ2hyaXN0b3BoZXJ9LAoJeWVhciAgICAgICAgID0gMjAxNiwKCWJvb2t0aXRsZSAgICA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIFByaW5jaXBsZXMgYW5kIFByYWN0aWNlIG9mIENvbnN0cmFpbnQgUHJvZ3JhbW1pbmcgKENQMjAxNil9LAoJcGFnZXMgICAgICAgID0gezUzOS0tNTU1fSwKCW9yZ2FuaXphdGlvbiA9IHtTcHJpbmdlcn0sCgl1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly90c3BhY2UubGlicmFyeS51dG9yb250by5jYS9iaXRzdHJlYW0vMTgwNy84MTM0MS8xL0Jvb3RoX0NQMjAxNi5wZGZ9LAoJdXJsX2xpbmsgICAgID0ge2h0dHBzOi8vbGluay5zcHJpbmdlci5jb20vY2hhcHRlci8xMC4xMDA3Lzk3OC0zLTMxOS00NDk1My0xXzM0fQp9CgoKQGFydGljbGV7Ym9vdGgyMDE2bWl4ZWQsCgl0aXRsZSAgICAgICAgPSB7TWl4ZWQtaW50ZWdlciBhbmQgY29uc3RyYWludCBwcm9ncmFtbWluZyB0ZWNobmlxdWVzIGZvciBtb2JpbGUgcm9ib3QgdGFzayBwbGFubmluZ30sCglhdXRob3IgICAgICAgPSB7Qm9vdGgsIEt5bGUgRS4gQy4gYW5kIFRyYW4sIFRvbnkgVCBhbmQgTmVqYXQsIEdvbGRpZSBhbmQgQmVjaywgSiBDaHJpc3RvcGhlcn0sCgl5ZWFyICAgICAgICAgPSAyMDE2LAoJam91cm5hbCAgICAgID0ge0lFRUUgUm9ib3RpY3MgYW5kIEF1dG9tYXRpb24gTGV0dGVyc30sCglwdWJsaXNoZXIgICAgPSB7SUVFRX0sCgl2b2x1bWUgICAgICAgPSAxLAoJbnVtYmVyICAgICAgID0gMSwKCXBhZ2VzICAgICAgICA9IHs1MDAtLTUwN30sCgl1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly90c3BhY2UubGlicmFyeS51dG9yb250by5jYS9iaXRzdHJlYW0vMTgwNy83MTQ1NC8xL0xSQTI1MjIwOTYucGRmfSwKCXVybF9saW5rICAgICA9IHtodHRwczovL2llZWV4cGxvcmUuaWVlZS5vcmcvYWJzdHJhY3QvZG9jdW1lbnQvNzM5MzQ2M30KfQoKCkBpbnByb2NlZWRpbmdze2Jvb3RoMjAxNmxvZ2ljLAoJdGl0bGUgICAgICAgID0ge0xvZ2ljLWJhc2VkIGRlY29tcG9zaXRpb24gbWV0aG9kcyBmb3IgdGhlIHRyYXZlbGxpbmcgcHVyY2hhc2VyIHByb2JsZW19LAoJYXV0aG9yICAgICAgID0ge0Jvb3RoLCBLeWxlIEUuIEMuIGFuZCBUcmFuLCBUb255IFQgYW5kIEJlY2ssIEogQ2hyaXN0b3BoZXJ9LAoJeWVhciAgICAgICAgID0gMjAxNiwKCWJvb2t0aXRsZSAgICA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEFJIGFuZCBPUiBUZWNobmlxdWVzIGluIENvbnN0cmFpbnQgUHJvZ3JhbW1pbmcgZm9yIENvbWJpbmF0b3JpYWwgT3B0aW1pemF0aW9uIFByb2JsZW1zIChDUEFJT1IyMDE2KX0sCglwYWdlcyAgICAgICAgPSB7NTUtLTY0fSwKCW9yZ2FuaXphdGlvbiA9IHtTcHJpbmdlcn0sCgl1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly90c3BhY2UubGlicmFyeS51dG9yb250by5jYS9iaXRzdHJlYW0vMTgwNy83MjQxNS8xL0Jvb3RoX0NQQUlPUjIwMTYucGRmfSwKCXVybF9saW5rICAgICA9IHtodHRwczovL2xpbmsuc3ByaW5nZXIuY29tL2NoYXB0ZXIvMTAuMTAwNy85NzgtMy0zMTktMzM5NTQtMl81fQp9CgoKQGlucHJvY2VlZGluZ3N7Ym9vdGgyMDE2ZGVjb21wb3NpdGlvbiwKCXRpdGxlICAgICAgICA9IHtEZWNvbXBvc2l0aW9uIG1ldGhvZHMgZm9yIHRoZSB0cmF2ZWxsaW5nIHB1cmNoYXNlciBwcm9ibGVtLn0sCglhdXRob3IgICAgICAgPSB7Qm9vdGgsIEt5bGUgRS4gQy4gYW5kIFRyYW4sIFRvbnkgVCBhbmQgQmVjaywgSiBDaHJpc3RvcGhlcn0sCgl5ZWFyICAgICAgICAgPSAyMDE2LAoJYm9va3RpdGxlICAgID0ge0ludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIEFydGlmaWNpYWwgSW50ZWxsaWdlbmNlIGFuZCBNYXRoZW1hdGljcyAoSVNBSU0yMDE2KX0sCgl1cmxfcGFwZXIgICAgPSB7aHR0cDovL2ljYXBzMTYuaWNhcHMtY29uZmVyZW5jZS5vcmcvcHJvY2VlZGluZ3MvZGMvZGMxNi5wZGYjcGFnZT0xMjl9Cn0KCg==\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=kylebooth.org/pubs.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=kylebooth.org/pubs.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=kylebooth.org%2Fpubs.bib&amp;jsonp=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=kylebooth.org%2Fpubs.bib&amp;jsonp=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=kylebooth.org%2Fpubs.bib&amp;jsonp=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2023\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2023')\"\n      onkeypress=\"toggleGroup('group_2023')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2023</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"booth-constraintprogrammingmodelsfordepthoptimalqubitassignmentandswapbasedrouting-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/pdf/2306.08629.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-constraintprogrammingmodelsfordepthoptimalqubitassignmentandswapbasedrouting-2023', 'https://arxiv.org/pdf/2306.08629.pdf', event);\">\n    Constraint programming models for depth-optimal qubit assignment and SWAP-based routing.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2023)</i>, pages In press,  2023. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2306.08629\"\n     onclick=\"log_download('booth-constraintprogrammingmodelsfordepthoptimalqubitassignmentandswapbasedrouting-2023', 'https://arxiv.org/abs/2306.08629', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Constraint programming models for depth-optimal qubit assignment and SWAP-based routing [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n  <a href=\"https://arxiv.org/pdf/2306.08629.pdf\"\n     onclick=\"log_download('booth-constraintprogrammingmodelsfordepthoptimalqubitassignmentandswapbasedrouting-2023', 'https://arxiv.org/pdf/2306.08629.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Constraint programming models for depth-optimal qubit assignment and SWAP-based routing [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-constraintprogrammingmodelsfordepthoptimalqubitassignmentandswapbasedrouting-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-constraintprogrammingmodelsfordepthoptimalqubitassignmentandswapbasedrouting-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{booth2023qubitrouting, \n\ttitle\t     = {Constraint programming models for depth-optimal qubit assignment and SWAP-based routing},\n        author       = {Booth, Kyle E. C.},\n        year         = 2023,\n\tbooktitle    = {Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2023)},\n\tpages        = {In press},\n        url_link     = {https://arxiv.org/abs/2306.08629},\n        url_paper    = {https://arxiv.org/pdf/2306.08629.pdf}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2021\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2021')\"\n      onkeypress=\"toggleGroup('group_2021')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2021</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedconstraintprogramming-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/pdf/2103.04502.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedconstraintprogramming-2021', 'https://arxiv.org/pdf/2103.04502.pdf', event);\">\n    Quantum-accelerated constraint programming.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; O'Gorman, B.; Marshall, J.; Hadfield, S.;  and Rieffel, E.\n</span>\n\n  \n\n</span>\n\n  <i>Quantum</i>, 5: 550.  2021.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://quantum-journal.org/papers/q-2021-09-28-550/\"\n     onclick=\"log_download('booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedconstraintprogramming-2021', 'https://quantum-journal.org/papers/q-2021-09-28-550/', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Quantum-accelerated constraint programming [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n  <a href=\"https://arxiv.org/pdf/2103.04502.pdf\"\n     onclick=\"log_download('booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedconstraintprogramming-2021', 'https://arxiv.org/pdf/2103.04502.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Quantum-accelerated constraint programming [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedconstraintprogramming-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>14 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedconstraintprogramming-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{booth2021quantumcp,\n\ttitle        = {Quantum-accelerated constraint programming},\n\tauthor       = {Booth, Kyle E. C. and O&#x27;Gorman, Bryan and Marshall, Jeffrey and Hadfield, Stuart and Rieffel, Eleanor},\n\tyear         = 2021,\n\tjournal      = {Quantum},\n\tvolume       = 5,\n\tpages        = 550,\n\turl_link     = {https://quantum-journal.org/papers/q-2021-09-28-550/},\n\turl_paper    = {https://arxiv.org/pdf/2103.04502.pdf}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"booth-constraintprogrammingapproachestoelectricvehicleandrobotroutingproblems-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/106297/2/Booth_Kyle_Ewart%20Coventry_202106_PhD_thesis.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-constraintprogrammingapproachestoelectricvehicleandrobotroutingproblems-2021', 'https://tspace.library.utoronto.ca/bitstream/1807/106297/2/Booth_Kyle_Ewart%20Coventry_202106_PhD_thesis.pdf', event);\">\n    Constraint programming approaches to electric vehicle and robot routing problems.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>\n</span>\n\n  \n\n</span>\n\n  <i>University of Toronto</i>.  2021.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://tspace.library.utoronto.ca/handle/1807/106297\"\n     onclick=\"log_download('booth-constraintprogrammingapproachestoelectricvehicleandrobotroutingproblems-2021', 'https://tspace.library.utoronto.ca/handle/1807/106297', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Constraint programming approaches to electric vehicle and robot routing problems [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/106297/2/Booth_Kyle_Ewart%20Coventry_202106_PhD_thesis.pdf\"\n     onclick=\"log_download('booth-constraintprogrammingapproachestoelectricvehicleandrobotroutingproblems-2021', 'https://tspace.library.utoronto.ca/bitstream/1807/106297/2/Booth_Kyle_Ewart%20Coventry_202106_PhD_thesis.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Constraint programming approaches to electric vehicle and robot routing problems [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-constraintprogrammingapproachestoelectricvehicleandrobotroutingproblems-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>12 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-constraintprogrammingapproachestoelectricvehicleandrobotroutingproblems-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{booth2021thesis,\n\ttitle        = {Constraint programming approaches to electric vehicle and robot routing problems},\n\tauthor       = {Booth, Kyle E. C.},\n\tyear         = 2021,\n\tjournal      = {University of Toronto},\n\turl_link     = {https://tspace.library.utoronto.ca/handle/1807/106297},\n\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/106297/2/Booth_Kyle_Ewart%20Coventry_202106_PhD_thesis.pdf}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2020\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2020')\"\n      onkeypress=\"toggleGroup('group_2020')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2020</span>\n      <span class=\"bibbase_group_count\">\n        \n        (4)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedglobalconstraintfiltering-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://ntrs.nasa.gov/api/citations/20205003667/downloads/Booth-CP-129.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedglobalconstraintfiltering-2020', 'https://ntrs.nasa.gov/api/citations/20205003667/downloads/Booth-CP-129.pdf', event);\">\n    Quantum-accelerated global constraint filtering.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; O'Gorman, B.; Marshall, J.; Hadfield, S.;  and Rieffel, E.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2020)</i>, pages 72–89,  2020. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://ntrs.nasa.gov/citations/20205003667\"\n     onclick=\"log_download('booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedglobalconstraintfiltering-2020', 'https://ntrs.nasa.gov/citations/20205003667', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Quantum-accelerated global constraint filtering [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n  <a href=\"https://ntrs.nasa.gov/api/citations/20205003667/downloads/Booth-CP-129.pdf\"\n     onclick=\"log_download('booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedglobalconstraintfiltering-2020', 'https://ntrs.nasa.gov/api/citations/20205003667/downloads/Booth-CP-129.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Quantum-accelerated global constraint filtering [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedglobalconstraintfiltering-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>27 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-ogorman-marshall-hadfield-rieffel-quantumacceleratedglobalconstraintfiltering-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{booth2020cp,\n\ttitle        = {Quantum-accelerated global constraint filtering},\n\tauthor       = {Booth, Kyle E. C. and O&#x27;Gorman, Bryan and Marshall, Jeffrey and Hadfield, Stuart and Rieffel, Eleanor},\n\tyear         = 2020,\n\tbooktitle    = {Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2020)},\n\tpages        = {72--89},\n\torganization = {Springer},\n\turl_link     = {https://ntrs.nasa.gov/citations/20205003667},\n\turl_paper    = {https://ntrs.nasa.gov/api/citations/20205003667/downloads/Booth-CP-129.pdf}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"booth-piacentini-bernardini-beck-targetsearchonroadnetworkswithrangeconstraineduavsandgroundbasedmobilerechargingvehicles-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://tidel.mie.utoronto.ca/pubs/Booth-RA-L-2020_postprint.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-piacentini-bernardini-beck-targetsearchonroadnetworkswithrangeconstraineduavsandgroundbasedmobilerechargingvehicles-2020', 'https://tidel.mie.utoronto.ca/pubs/Booth-RA-L-2020_postprint.pdf', event);\">\n    Target search on road networks with range-constrained UAVs and ground-based mobile recharging vehicles.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; Piacentini, C.; Bernardini, S.;  and Beck, J. C.\n</span>\n\n  \n\n</span>\n\n  <i>IEEE Robotics and Automation Letters</i>, 5(4): 6702–6709.  2020.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://ieeexplore.ieee.org/document/9165009\"\n     onclick=\"log_download('booth-piacentini-bernardini-beck-targetsearchonroadnetworkswithrangeconstraineduavsandgroundbasedmobilerechargingvehicles-2020', 'https://ieeexplore.ieee.org/document/9165009', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Target search on road networks with range-constrained UAVs and ground-based mobile recharging vehicles [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n  <a href=\"https://tidel.mie.utoronto.ca/pubs/Booth-RA-L-2020_postprint.pdf\"\n     onclick=\"log_download('booth-piacentini-bernardini-beck-targetsearchonroadnetworkswithrangeconstraineduavsandgroundbasedmobilerechargingvehicles-2020', 'https://tidel.mie.utoronto.ca/pubs/Booth-RA-L-2020_postprint.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Target search on road networks with range-constrained UAVs and ground-based mobile recharging vehicles [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-piacentini-bernardini-beck-targetsearchonroadnetworkswithrangeconstraineduavsandgroundbasedmobilerechargingvehicles-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>14 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-piacentini-bernardini-beck-targetsearchonroadnetworkswithrangeconstraineduavsandgroundbasedmobilerechargingvehicles-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{booth2020ral,\n\ttitle        = {Target search on road networks with range-constrained UAVs and ground-based mobile recharging vehicles},\n\tauthor       = {Booth, Kyle E. C. and Piacentini, Chiara and Bernardini, Sara and Beck, J. Christopher},\n\tyear         = 2020,\n\tjournal      = {IEEE Robotics and Automation Letters},\n\tpublisher    = {IEEE},\n\tvolume       = 5,\n\tnumber       = 4,\n\tpages        = {6702--6709},\n\turl_link     = {https://ieeexplore.ieee.org/document/9165009},\n\turl_paper    = {https://tidel.mie.utoronto.ca/pubs/Booth-RA-L-2020_postprint.pdf}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bernal-booth-dridi-alghassi-tayur-venturelli-integerprogrammingtechniquesforminorembeddinginquantumannealers-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/pdf/1912.08314.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bernal-booth-dridi-alghassi-tayur-venturelli-integerprogrammingtechniquesforminorembeddinginquantumannealers-2020', 'https://arxiv.org/pdf/1912.08314.pdf', event);\">\n    Integer programming techniques for minor-embedding in quantum annealers.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Bernal, D. E; <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; Dridi, R.; Alghassi, H.; Tayur, S.;  and Venturelli, D.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2020)</i>, pages In press,  2020. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/pdf/1912.08314.pdf\"\n     onclick=\"log_download('bernal-booth-dridi-alghassi-tayur-venturelli-integerprogrammingtechniquesforminorembeddinginquantumannealers-2020', 'https://arxiv.org/pdf/1912.08314.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Integer programming techniques for minor-embedding in quantum annealers [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://arxiv.org/abs/1912.08314\"\n     onclick=\"log_download('bernal-booth-dridi-alghassi-tayur-venturelli-integerprogrammingtechniquesforminorembeddinginquantumannealers-2020', 'https://arxiv.org/abs/1912.08314', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Integer programming techniques for minor-embedding in quantum annealers [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bernal-booth-dridi-alghassi-tayur-venturelli-integerprogrammingtechniquesforminorembeddinginquantumannealers-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bernal-booth-dridi-alghassi-tayur-venturelli-integerprogrammingtechniquesforminorembeddinginquantumannealers-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{bernal2019integer,\n\ttitle        = {Integer programming techniques for minor-embedding in quantum annealers},\n\tauthor       = {Bernal, David E and Booth, Kyle E. C. and Dridi, Raouf and Alghassi, Hedayat and Tayur, Sridhar and Venturelli, Davide},\n\tyear         = 2020,\n\tbooktitle    = {Proceedings of the International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2020)},\n\tpages        = {In press},\n\torganization = {Springer},\n\turl_paper    = {https://arxiv.org/pdf/1912.08314.pdf},\n\turl_link     = {https://arxiv.org/abs/1912.08314}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"roshanaei-booth-aleman-urbach-beck-branchandcheckmethodsformultileveloperatingroomplanningandscheduling-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://tidel.mie.utoronto.ca/pubs/MLORPS-2019.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'roshanaei-booth-aleman-urbach-beck-branchandcheckmethodsformultileveloperatingroomplanningandscheduling-2020', 'https://tidel.mie.utoronto.ca/pubs/MLORPS-2019.pdf', event);\">\n    Branch-and-check methods for multi-level operating room planning and scheduling.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Roshanaei, V.; <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; Aleman, D. M; Urbach, D. R;  and Beck, J C.\n</span>\n\n  \n\n</span>\n\n  <i>International Journal of Production Economics</i>, 220: 107433.  2020.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://tidel.mie.utoronto.ca/pubs/MLORPS-2019.pdf\"\n     onclick=\"log_download('roshanaei-booth-aleman-urbach-beck-branchandcheckmethodsformultileveloperatingroomplanningandscheduling-2020', 'https://tidel.mie.utoronto.ca/pubs/MLORPS-2019.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Branch-and-check methods for multi-level operating room planning and scheduling [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://www.sciencedirect.com/science/article/abs/pii/S0925527319302439\"\n     onclick=\"log_download('roshanaei-booth-aleman-urbach-beck-branchandcheckmethodsformultileveloperatingroomplanningandscheduling-2020', 'https://www.sciencedirect.com/science/article/abs/pii/S0925527319302439', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Branch-and-check methods for multi-level operating room planning and scheduling [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/roshanaei-booth-aleman-urbach-beck-branchandcheckmethodsformultileveloperatingroomplanningandscheduling-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>2 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('roshanaei-booth-aleman-urbach-beck-branchandcheckmethodsformultileveloperatingroomplanningandscheduling-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{roshanaei2019branch,\n\ttitle        = {Branch-and-check methods for multi-level operating room planning and scheduling},\n\tauthor       = {Roshanaei, Vahid and Booth, Kyle E. C. and Aleman, Dionne M and Urbach, David R and Beck, J Christopher},\n\tyear         = 2020,\n\tjournal      = {International Journal of Production Economics},\n\tpublisher    = {Elsevier},\n\tvolume       = 220,\n\tnumber       = {},\n\tpages        = 107433,\n\turl_paper    = {https://tidel.mie.utoronto.ca/pubs/MLORPS-2019.pdf},\n\turl_link     = {https://www.sciencedirect.com/science/article/abs/pii/S0925527319302439}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2019\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2019')\"\n      onkeypress=\"toggleGroup('group_2019')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2019</span>\n      <span class=\"bibbase_group_count\">\n        \n        (4)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"booth-chan-shalaby-amathematicaloptimizationframeworkforexpansiondraftdecisionmakingandanalysis-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://www.researchgate.net/profile/Kyle_Booth2/publication/331134194_A_mathematical_optimization_framework_for_expansion_draft_decision_making_and_analysis/links/5c733f94299bf1268d22ca2c/A-mathematical-optimization-framework-for-expansion-draft-decision-making-and-analysis.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-chan-shalaby-amathematicaloptimizationframeworkforexpansiondraftdecisionmakingandanalysis-2019', 'https://www.researchgate.net/profile/Kyle_Booth2/publication/331134194_A_mathematical_optimization_framework_for_expansion_draft_decision_making_and_analysis/links/5c733f94299bf1268d22ca2c/A-mathematical-optimization-framework-for-expansion-draft-decision-making-and-analysis.pdf', event);\">\n    A mathematical optimization framework for expansion draft decision making and analysis.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; Chan, T. C.;  and Shalaby, Y.\n</span>\n\n  \n\n</span>\n\n  <i>Journal of Quantitative Analysis in Sports</i>, 15(1): 27–40.  2019.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.researchgate.net/profile/Kyle_Booth2/publication/331134194_A_mathematical_optimization_framework_for_expansion_draft_decision_making_and_analysis/links/5c733f94299bf1268d22ca2c/A-mathematical-optimization-framework-for-expansion-draft-decision-making-and-analysis.pdf\"\n     onclick=\"log_download('booth-chan-shalaby-amathematicaloptimizationframeworkforexpansiondraftdecisionmakingandanalysis-2019', 'https://www.researchgate.net/profile/Kyle_Booth2/publication/331134194_A_mathematical_optimization_framework_for_expansion_draft_decision_making_and_analysis/links/5c733f94299bf1268d22ca2c/A-mathematical-optimization-framework-for-expansion-draft-decision-making-and-analysis.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"A mathematical optimization framework for expansion draft decision making and analysis [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://www.degruyter.com/view/j/jqas.2019.15.issue-1/jqas-2018-0024/jqas-2018-0024.xml\"\n     onclick=\"log_download('booth-chan-shalaby-amathematicaloptimizationframeworkforexpansiondraftdecisionmakingandanalysis-2019', 'https://www.degruyter.com/view/j/jqas.2019.15.issue-1/jqas-2018-0024/jqas-2018-0024.xml', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"A mathematical optimization framework for expansion draft decision making and analysis [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-chan-shalaby-amathematicaloptimizationframeworkforexpansiondraftdecisionmakingandanalysis-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>4 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-chan-shalaby-amathematicaloptimizationframeworkforexpansiondraftdecisionmakingandanalysis-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{booth2019mathematical,\n\ttitle        = {A mathematical optimization framework for expansion draft decision making and analysis},\n\tauthor       = {Booth, Kyle E. C. and Chan, Timothy CY and Shalaby, Yusuf},\n\tyear         = 2019,\n\tjournal      = {Journal of Quantitative Analysis in Sports},\n\tpublisher    = {De Gruyter},\n\tvolume       = 15,\n\tnumber       = 1,\n\tpages        = {27--40},\n\turl_paper    = {https://www.researchgate.net/profile/Kyle_Booth2/publication/331134194_A_mathematical_optimization_framework_for_expansion_draft_decision_making_and_analysis/links/5c733f94299bf1268d22ca2c/A-mathematical-optimization-framework-for-expansion-draft-decision-making-and-analysis.pdf},\n\turl_link     = {https://www.degruyter.com/view/j/jqas.2019.15.issue-1/jqas-2018-0024/jqas-2018-0024.xml}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"booth-beck-aconstraintprogrammingapproachtoelectricvehicleroutingwithtimewindows-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/93822/3/A\\%20Constrant\\%20Programming_TSpace.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-beck-aconstraintprogrammingapproachtoelectricvehicleroutingwithtimewindows-2019', 'https://tspace.library.utoronto.ca/bitstream/1807/93822/3/A\\%20Constrant\\%20Programming_TSpace.pdf', event);\">\n    A constraint programming approach to electric vehicle routing with time windows.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>;  and Beck, J C.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2019)</i>, pages 129–145,  2019. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/93822/3/A\\%20Constrant\\%20Programming_TSpace.pdf\"\n     onclick=\"log_download('booth-beck-aconstraintprogrammingapproachtoelectricvehicleroutingwithtimewindows-2019', 'https://tspace.library.utoronto.ca/bitstream/1807/93822/3/A\\%20Constrant\\%20Programming_TSpace.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"A constraint programming approach to electric vehicle routing with time windows [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://link.springer.com/chapter/10.1007/978-3-030-19212-9_9\"\n     onclick=\"log_download('booth-beck-aconstraintprogrammingapproachtoelectricvehicleroutingwithtimewindows-2019', 'https://link.springer.com/chapter/10.1007/978-3-030-19212-9_9', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"A constraint programming approach to electric vehicle routing with time windows [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-beck-aconstraintprogrammingapproachtoelectricvehicleroutingwithtimewindows-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>12 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-beck-aconstraintprogrammingapproachtoelectricvehicleroutingwithtimewindows-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{booth2019constraint,\n\ttitle        = {A constraint programming approach to electric vehicle routing with time windows},\n\tauthor       = {Booth, Kyle E. C. and Beck, J Christopher},\n\tyear         = 2019,\n\tbooktitle    = {Proceedings of the International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2019)},\n\tpages        = {129--145},\n\torganization = {Springer},\n\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/93822/3/A\\%20Constrant\\%20Programming_TSpace.pdf},\n\turl_link     = {https://link.springer.com/chapter/10.1007/978-3-030-19212-9_9}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"senderovich-booth-beck-learningschedulingmodelsfromeventdata-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://tidel.mie.utoronto.ca/pubs/Senderovich_ICAPS2019.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'senderovich-booth-beck-learningschedulingmodelsfromeventdata-2019', 'https://tidel.mie.utoronto.ca/pubs/Senderovich_ICAPS2019.pdf', event);\">\n    Learning scheduling models from event data.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Senderovich, A.; <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>;  and Beck, J C.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS2019)</i>, volume 29, pages 401–409,  2019. AAAI\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://tidel.mie.utoronto.ca/pubs/Senderovich_ICAPS2019.pdf\"\n     onclick=\"log_download('senderovich-booth-beck-learningschedulingmodelsfromeventdata-2019', 'https://tidel.mie.utoronto.ca/pubs/Senderovich_ICAPS2019.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Learning scheduling models from event data [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://www.aaai.org/ojs/index.php/ICAPS/article/view/3504\"\n     onclick=\"log_download('senderovich-booth-beck-learningschedulingmodelsfromeventdata-2019', 'https://www.aaai.org/ojs/index.php/ICAPS/article/view/3504', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Learning scheduling models from event data [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/senderovich-booth-beck-learningschedulingmodelsfromeventdata-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>2 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('senderovich-booth-beck-learningschedulingmodelsfromeventdata-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{senderovich2019learning,\n\ttitle        = {Learning scheduling models from event data},\n\tauthor       = {Senderovich, Arik and Booth, Kyle E. C. and Beck, J Christopher},\n\tyear         = 2019,\n\tbooktitle    = {Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS2019)},\n\tvolume       = 29,\n\tnumber       = 1,\n\tpages        = {401--409},\n\torganization = {AAAI},\n\turl_paper    = {https://tidel.mie.utoronto.ca/pubs/Senderovich_ICAPS2019.pdf},\n\turl_link     = {https://www.aaai.org/ojs/index.php/ICAPS/article/view/3504}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"venturelli-do-ogorman-frank-rieffel-booth-nguyen-narayan-etal-quantumcircuitcompilationanemergingapplicationforautomatedreasoning-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://pdfs.semanticscholar.org/6fcf/f8f1626c864b12ffc1e398ae9ab40cd12f0f.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'venturelli-do-ogorman-frank-rieffel-booth-nguyen-narayan-etal-quantumcircuitcompilationanemergingapplicationforautomatedreasoning-2019', 'https://pdfs.semanticscholar.org/6fcf/f8f1626c864b12ffc1e398ae9ab40cd12f0f.pdf', event);\">\n    Quantum circuit compilation: An emerging application for automated reasoning.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Venturelli, D.; Do, M.; O'Gorman, B.; Frank, J.; Rieffel, E.; <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; Nguyen, T.; Narayan, P.;  and Nanda, S.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the Scheduling and Planning Applications Workshop (SPARK2019)</i>,  2019. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://pdfs.semanticscholar.org/6fcf/f8f1626c864b12ffc1e398ae9ab40cd12f0f.pdf\"\n     onclick=\"log_download('venturelli-do-ogorman-frank-rieffel-booth-nguyen-narayan-etal-quantumcircuitcompilationanemergingapplicationforautomatedreasoning-2019', 'https://pdfs.semanticscholar.org/6fcf/f8f1626c864b12ffc1e398ae9ab40cd12f0f.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Quantum circuit compilation: An emerging application for automated reasoning [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://openreview.net/forum?id=S1eEBO3nFE\"\n     onclick=\"log_download('venturelli-do-ogorman-frank-rieffel-booth-nguyen-narayan-etal-quantumcircuitcompilationanemergingapplicationforautomatedreasoning-2019', 'https://openreview.net/forum?id=S1eEBO3nFE', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Quantum circuit compilation: An emerging application for automated reasoning [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/venturelli-do-ogorman-frank-rieffel-booth-nguyen-narayan-etal-quantumcircuitcompilationanemergingapplicationforautomatedreasoning-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>5 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('venturelli-do-ogorman-frank-rieffel-booth-nguyen-narayan-etal-quantumcircuitcompilationanemergingapplicationforautomatedreasoning-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{venturelli2019quantum,\n\ttitle        = {Quantum circuit compilation: An emerging application for automated reasoning},\n\tauthor       = {Venturelli, Davide and Do, Minh and O&#x27;Gorman, Bryan and Frank, Jeremy and Rieffel, Eleanor and Booth, Kyle E. C. and Nguyen, Thanh and Narayan, Parvathi and Nanda, Sasha},\n\tyear         = 2019,\n\tbooktitle    = {Proceedings of the Scheduling and Planning Applications Workshop (SPARK2019)},\n\turl_paper    = {https://pdfs.semanticscholar.org/6fcf/f8f1626c864b12ffc1e398ae9ab40cd12f0f.pdf},\n\turl_link     = {https://openreview.net/forum?id=S1eEBO3nFE}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2018\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2018')\"\n      onkeypress=\"toggleGroup('group_2018')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2018</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"booth-do-beck-rieffel-venturelli-frank-comparingandintegratingconstraintprogrammingandtemporalplanningforquantumcircuitcompilation-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://tidel.mie.utoronto.ca/pubs/ICAPS-2018-Booth.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-do-beck-rieffel-venturelli-frank-comparingandintegratingconstraintprogrammingandtemporalplanningforquantumcircuitcompilation-2018', 'https://tidel.mie.utoronto.ca/pubs/ICAPS-2018-Booth.pdf', event);\">\n    Comparing and integrating constraint programming and temporal planning for quantum circuit compilation.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; Do, M.; Beck, J C.; Rieffel, E.; Venturelli, D.;  and Frank, J.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS2018)</i>, pages 366–374,  2018. AAAI\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://tidel.mie.utoronto.ca/pubs/ICAPS-2018-Booth.pdf\"\n     onclick=\"log_download('booth-do-beck-rieffel-venturelli-frank-comparingandintegratingconstraintprogrammingandtemporalplanningforquantumcircuitcompilation-2018', 'https://tidel.mie.utoronto.ca/pubs/ICAPS-2018-Booth.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Comparing and integrating constraint programming and temporal planning for quantum circuit compilation [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://www.aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/viewPaper/17787\"\n     onclick=\"log_download('booth-do-beck-rieffel-venturelli-frank-comparingandintegratingconstraintprogrammingandtemporalplanningforquantumcircuitcompilation-2018', 'https://www.aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/viewPaper/17787', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Comparing and integrating constraint programming and temporal planning for quantum circuit compilation [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-do-beck-rieffel-venturelli-frank-comparingandintegratingconstraintprogrammingandtemporalplanningforquantumcircuitcompilation-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>3 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-do-beck-rieffel-venturelli-frank-comparingandintegratingconstraintprogrammingandtemporalplanningforquantumcircuitcompilation-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{booth2018comparing,\n\ttitle        = {Comparing and integrating constraint programming and temporal planning for quantum circuit compilation},\n\tauthor       = {Booth, Kyle E. C. and Do, Minh and Beck, J Christopher and Rieffel, Eleanor and Venturelli, Davide and Frank, Jeremy},\n\tyear         = 2018,\n\tbooktitle    = {Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS2018)},\n\tpages        = {366--374},\n\torganization = {AAAI},\n\turl_paper    = {https://tidel.mie.utoronto.ca/pubs/ICAPS-2018-Booth.pdf},\n\turl_link     = {https://www.aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/viewPaper/17787}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"morin-castro-booth-tran-liu-beck-intruderalertoptimizationmodelsforsolvingthemobilerobotgraphclearproblem-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/87983/1/GCP_Constraints_2018.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'morin-castro-booth-tran-liu-beck-intruderalertoptimizationmodelsforsolvingthemobilerobotgraphclearproblem-2018', 'https://tspace.library.utoronto.ca/bitstream/1807/87983/1/GCP_Constraints_2018.pdf', event);\">\n    Intruder alert! Optimization models for solving the mobile robot graph-clear problem.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Morin, M.; Castro, M. P; <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; Tran, T. T; Liu, C.;  and Beck, J C.\n</span>\n\n  \n\n</span>\n\n  <i>Constraints</i>, 23(3): 335–354.  2018.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/87983/1/GCP_Constraints_2018.pdf\"\n     onclick=\"log_download('morin-castro-booth-tran-liu-beck-intruderalertoptimizationmodelsforsolvingthemobilerobotgraphclearproblem-2018', 'https://tspace.library.utoronto.ca/bitstream/1807/87983/1/GCP_Constraints_2018.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Intruder alert! Optimization models for solving the mobile robot graph-clear problem [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://link.springer.com/article/10.1007/s10601-018-9288-3\"\n     onclick=\"log_download('morin-castro-booth-tran-liu-beck-intruderalertoptimizationmodelsforsolvingthemobilerobotgraphclearproblem-2018', 'https://link.springer.com/article/10.1007/s10601-018-9288-3', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Intruder alert! Optimization models for solving the mobile robot graph-clear problem [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/morin-castro-booth-tran-liu-beck-intruderalertoptimizationmodelsforsolvingthemobilerobotgraphclearproblem-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>2 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('morin-castro-booth-tran-liu-beck-intruderalertoptimizationmodelsforsolvingthemobilerobotgraphclearproblem-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{morin2018intruder,\n\ttitle        = {Intruder alert! Optimization models for solving the mobile robot graph-clear problem},\n\tauthor       = {Morin, Michael and Castro, Margarita P and Booth, Kyle E. C. and Tran, Tony T and Liu, Chang and Beck, J Christopher},\n\tyear         = 2018,\n\tjournal      = {Constraints},\n\tpublisher    = {Springer},\n\tvolume       = 23,\n\tnumber       = 3,\n\tpages        = {335--354},\n\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/87983/1/GCP_Constraints_2018.pdf},\n\turl_link     = {https://link.springer.com/article/10.1007/s10601-018-9288-3}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2017\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2017')\"\n      onkeypress=\"toggleGroup('group_2017')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2017</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"booth-mohamed-rajaratnam-nejat-beck-robotsinretirementhomespersonsearchandtaskplanningforagroupofresidentsbyateamofassistiverobots-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://tidel.mie.utoronto.ca/pubs/Booth-IEEE-IS_2017-Postprint.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-mohamed-rajaratnam-nejat-beck-robotsinretirementhomespersonsearchandtaskplanningforagroupofresidentsbyateamofassistiverobots-2017', 'https://tidel.mie.utoronto.ca/pubs/Booth-IEEE-IS_2017-Postprint.pdf', event);\">\n    Robots in retirement homes: Person search and task planning for a group of residents by a team of assistive robots.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; Mohamed, S. C; Rajaratnam, S.; <a class=\"bibbase author link\" href=\"https://bibbase.org/show?bib=https://dblp.org/pid/14/3835.bib\">Nejat, G.</a>;  and Beck, J C.\n</span>\n\n  \n\n</span>\n\n  <i>IEEE Intelligent Systems</i>, 32(6): 14–21.  2017.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://tidel.mie.utoronto.ca/pubs/Booth-IEEE-IS_2017-Postprint.pdf\"\n     onclick=\"log_download('booth-mohamed-rajaratnam-nejat-beck-robotsinretirementhomespersonsearchandtaskplanningforagroupofresidentsbyateamofassistiverobots-2017', 'https://tidel.mie.utoronto.ca/pubs/Booth-IEEE-IS_2017-Postprint.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Robots in retirement homes: Person search and task planning for a group of residents by a team of assistive robots [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://ieeexplore.ieee.org/abstract/document/8268000\"\n     onclick=\"log_download('booth-mohamed-rajaratnam-nejat-beck-robotsinretirementhomespersonsearchandtaskplanningforagroupofresidentsbyateamofassistiverobots-2017', 'https://ieeexplore.ieee.org/abstract/document/8268000', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Robots in retirement homes: Person search and task planning for a group of residents by a team of assistive robots [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-mohamed-rajaratnam-nejat-beck-robotsinretirementhomespersonsearchandtaskplanningforagroupofresidentsbyateamofassistiverobots-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>10 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-mohamed-rajaratnam-nejat-beck-robotsinretirementhomespersonsearchandtaskplanningforagroupofresidentsbyateamofassistiverobots-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{booth2017robots,\n\ttitle        = {Robots in retirement homes: Person search and task planning for a group of residents by a team of assistive robots},\n\tauthor       = {Booth, Kyle E. C. and Mohamed, Sharaf C and Rajaratnam, Sanjif and Nejat, Goldie and Beck, J Christopher},\n\tyear         = 2017,\n\tjournal      = {IEEE Intelligent Systems},\n\tpublisher    = {IEEE},\n\tvolume       = 32,\n\tnumber       = 6,\n\tpages        = {14--21},\n\turl_paper    = {https://tidel.mie.utoronto.ca/pubs/Booth-IEEE-IS_2017-Postprint.pdf},\n\turl_link     = {https://ieeexplore.ieee.org/abstract/document/8268000}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2016\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2016')\"\n      onkeypress=\"toggleGroup('group_2016')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2016</span>\n      <span class=\"bibbase_group_count\">\n        \n        (4)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"booth-nejat-beck-aconstraintprogrammingapproachtomultirobottaskallocationandschedulinginretirementhomes-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/81341/1/Booth_CP2016.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-nejat-beck-aconstraintprogrammingapproachtomultirobottaskallocationandschedulinginretirementhomes-2016', 'https://tspace.library.utoronto.ca/bitstream/1807/81341/1/Booth_CP2016.pdf', event);\">\n    A constraint programming approach to multi-robot task allocation and scheduling in retirement homes.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; <a class=\"bibbase author link\" href=\"https://bibbase.org/show?bib=https://dblp.org/pid/14/3835.bib\">Nejat, G.</a>;  and Beck, J C.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2016)</i>, pages 539–555,  2016. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/81341/1/Booth_CP2016.pdf\"\n     onclick=\"log_download('booth-nejat-beck-aconstraintprogrammingapproachtomultirobottaskallocationandschedulinginretirementhomes-2016', 'https://tspace.library.utoronto.ca/bitstream/1807/81341/1/Booth_CP2016.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"A constraint programming approach to multi-robot task allocation and scheduling in retirement homes [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://link.springer.com/chapter/10.1007/978-3-319-44953-1_34\"\n     onclick=\"log_download('booth-nejat-beck-aconstraintprogrammingapproachtomultirobottaskallocationandschedulinginretirementhomes-2016', 'https://link.springer.com/chapter/10.1007/978-3-319-44953-1_34', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"A constraint programming approach to multi-robot task allocation and scheduling in retirement homes [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-nejat-beck-aconstraintprogrammingapproachtomultirobottaskallocationandschedulinginretirementhomes-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>6 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-nejat-beck-aconstraintprogrammingapproachtomultirobottaskallocationandschedulinginretirementhomes-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{booth2016constraint,\n\ttitle        = {A constraint programming approach to multi-robot task allocation and scheduling in retirement homes},\n\tauthor       = {Booth, Kyle E. C. and Nejat, Goldie and Beck, J Christopher},\n\tyear         = 2016,\n\tbooktitle    = {Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP2016)},\n\tpages        = {539--555},\n\torganization = {Springer},\n\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/81341/1/Booth_CP2016.pdf},\n\turl_link     = {https://link.springer.com/chapter/10.1007/978-3-319-44953-1_34}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"booth-tran-nejat-beck-mixedintegerandconstraintprogrammingtechniquesformobilerobottaskplanning-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/71454/1/LRA2522096.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-tran-nejat-beck-mixedintegerandconstraintprogrammingtechniquesformobilerobottaskplanning-2016', 'https://tspace.library.utoronto.ca/bitstream/1807/71454/1/LRA2522096.pdf', event);\">\n    Mixed-integer and constraint programming techniques for mobile robot task planning.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; Tran, T. T; <a class=\"bibbase author link\" href=\"https://bibbase.org/show?bib=https://dblp.org/pid/14/3835.bib\">Nejat, G.</a>;  and Beck, J C.\n</span>\n\n  \n\n</span>\n\n  <i>IEEE Robotics and Automation Letters</i>, 1(1): 500–507.  2016.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/71454/1/LRA2522096.pdf\"\n     onclick=\"log_download('booth-tran-nejat-beck-mixedintegerandconstraintprogrammingtechniquesformobilerobottaskplanning-2016', 'https://tspace.library.utoronto.ca/bitstream/1807/71454/1/LRA2522096.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Mixed-integer and constraint programming techniques for mobile robot task planning [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://ieeexplore.ieee.org/abstract/document/7393463\"\n     onclick=\"log_download('booth-tran-nejat-beck-mixedintegerandconstraintprogrammingtechniquesformobilerobottaskplanning-2016', 'https://ieeexplore.ieee.org/abstract/document/7393463', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Mixed-integer and constraint programming techniques for mobile robot task planning [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-tran-nejat-beck-mixedintegerandconstraintprogrammingtechniquesformobilerobottaskplanning-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>15 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-tran-nejat-beck-mixedintegerandconstraintprogrammingtechniquesformobilerobottaskplanning-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{booth2016mixed,\n\ttitle        = {Mixed-integer and constraint programming techniques for mobile robot task planning},\n\tauthor       = {Booth, Kyle E. C. and Tran, Tony T and Nejat, Goldie and Beck, J Christopher},\n\tyear         = 2016,\n\tjournal      = {IEEE Robotics and Automation Letters},\n\tpublisher    = {IEEE},\n\tvolume       = 1,\n\tnumber       = 1,\n\tpages        = {500--507},\n\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/71454/1/LRA2522096.pdf},\n\turl_link     = {https://ieeexplore.ieee.org/abstract/document/7393463}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"booth-tran-beck-logicbaseddecompositionmethodsforthetravellingpurchaserproblem-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/72415/1/Booth_CPAIOR2016.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-tran-beck-logicbaseddecompositionmethodsforthetravellingpurchaserproblem-2016', 'https://tspace.library.utoronto.ca/bitstream/1807/72415/1/Booth_CPAIOR2016.pdf', event);\">\n    Logic-based decomposition methods for the travelling purchaser problem.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; Tran, T. T;  and Beck, J C.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2016)</i>, pages 55–64,  2016. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://tspace.library.utoronto.ca/bitstream/1807/72415/1/Booth_CPAIOR2016.pdf\"\n     onclick=\"log_download('booth-tran-beck-logicbaseddecompositionmethodsforthetravellingpurchaserproblem-2016', 'https://tspace.library.utoronto.ca/bitstream/1807/72415/1/Booth_CPAIOR2016.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Logic-based decomposition methods for the travelling purchaser problem [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://link.springer.com/chapter/10.1007/978-3-319-33954-2_5\"\n     onclick=\"log_download('booth-tran-beck-logicbaseddecompositionmethodsforthetravellingpurchaserproblem-2016', 'https://link.springer.com/chapter/10.1007/978-3-319-33954-2_5', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Logic-based decomposition methods for the travelling purchaser problem [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-tran-beck-logicbaseddecompositionmethodsforthetravellingpurchaserproblem-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>4 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-tran-beck-logicbaseddecompositionmethodsforthetravellingpurchaserproblem-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{booth2016logic,\n\ttitle        = {Logic-based decomposition methods for the travelling purchaser problem},\n\tauthor       = {Booth, Kyle E. C. and Tran, Tony T and Beck, J Christopher},\n\tyear         = 2016,\n\tbooktitle    = {Proceedings of the International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2016)},\n\tpages        = {55--64},\n\torganization = {Springer},\n\turl_paper    = {https://tspace.library.utoronto.ca/bitstream/1807/72415/1/Booth_CPAIOR2016.pdf},\n\turl_link     = {https://link.springer.com/chapter/10.1007/978-3-319-33954-2_5}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"booth-tran-beck-decompositionmethodsforthetravellingpurchaserproblem-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://icaps16.icaps-conference.org/proceedings/dc/dc16.pdf#page=129\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'booth-tran-beck-decompositionmethodsforthetravellingpurchaserproblem-2016', 'http://icaps16.icaps-conference.org/proceedings/dc/dc16.pdf#page=129', event);\">\n    Decomposition methods for the travelling purchaser problem.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://kylebooth.org/\">Booth, K. E. C.</a>; Tran, T. T;  and Beck, J C.\n</span>\n\n  \n\n</span>\n\n  In <i>International Symposium on Artificial Intelligence and Mathematics (ISAIM2016)</i>,  2016. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://icaps16.icaps-conference.org/proceedings/dc/dc16.pdf#page=129\"\n     onclick=\"log_download('booth-tran-beck-decompositionmethodsforthetravellingpurchaserproblem-2016', 'http://icaps16.icaps-conference.org/proceedings/dc/dc16.pdf#page=129', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Decomposition methods for the travelling purchaser problem. [link]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/booth-tran-beck-decompositionmethodsforthetravellingpurchaserproblem-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('booth-tran-beck-decompositionmethodsforthetravellingpurchaserproblem-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{booth2016decomposition,\n\ttitle        = {Decomposition methods for the travelling purchaser problem.},\n\tauthor       = {Booth, Kyle E. C. and Tran, Tony T and Beck, J Christopher},\n\tyear         = 2016,\n\tbooktitle    = {International Symposium on Artificial Intelligence and Mathematics (ISAIM2016)},\n\turl_paper    = {http://icaps16.icaps-conference.org/proceedings/dc/dc16.pdf#page=129}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);