<?xml version="1.0"?>
<dblpperson name="Kevin Leo" pid="132/9415" n="38">
<person key="homepages/132/9415" mdate="2013-08-15">
<author pid="132/9415">Kevin Leo</author>
</person>
<r><data publtype="version" key="data/12/TackDLBNBS26" mdate="2026-06-17">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0009-0002-1038-8961" pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<publisher>Zenodo</publisher>
<year>2026</year>
<month>January</month>
<ee type="oa">https://doi.org/10.5281/zenodo.18348542</ee>
<stream>streams/repo/zenodo</stream>
<rel sort="22" label="Version 2.9.5" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
</data>
</r>
<r><article publtype="informal" key="journals/corr/abs-2601-19204" mdate="2026-02-26">
<author pid="318/2917">Zhixi Cai</author>
<author pid="336/6982">Fucai Ke</author>
<author pid="132/9415">Kevin Leo</author>
<author pid="348/6837">Sukai Huang</author>
<author pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author pid="s/PeterJStuckey">Peter J. Stuckey</author>
<author pid="37/8192">Hamid Rezatofighi</author>
<title>MATA: A Trainable Hierarchical Automaton System for Multi-Agent Visual Reasoning.</title>
<year>2026</year>
<month>January</month>
<volume>abs/2601.19204</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2601.19204</ee>
<url>db/journals/corr/corr2601.html#abs-2601-19204</url>
<stream>streams/journals/corr</stream>
</article>
</r>
<r><article key="journals/ral/CaiCLZBLLGDQGILVSBR25" mdate="2025-09-11">
<author orcid="0000-0001-7978-0860" pid="318/2917">Zhixi Cai</author>
<author orcid="0009-0007-6758-7482" pid="387/4176">Cristian Rojas Cardenas</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0009-0007-4860-0696" pid="28/11532">Chenyuan Zhang</author>
<author orcid="0000-0002-6898-4945" pid="279/6469">Kal Backman</author>
<author pid="151/5720">Hanbing Li</author>
<author orcid="0000-0001-7616-080X" pid="172/6695">Boying Li</author>
<author orcid="0009-0000-2676-4955" pid="387/4167">Mahsa Ghorbanali</author>
<author orcid="0009-0009-0061-759X" pid="374/6421">Stavya Datta</author>
<author orcid="0000-0002-7764-431X" pid="58/3601">Lizhen Qu</author>
<author orcid="0000-0002-1091-8232" pid="75/4014">Julian Gutierrez 0001</author>
<author orcid="0000-0002-4535-2902" pid="26/9729">Alexey Ignatiev</author>
<author orcid="0000-0003-4651-2821" pid="20/2537">Yuan-Fang Li</author>
<author orcid="0000-0001-5286-6509" pid="138/5600">Mor Vered</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0002-8659-8773" pid="37/8192">Hamid Rezatofighi</author>
<title>NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.</title>
<pages>9502-9509</pages>
<year>2025</year>
<month>September</month>
<volume>10</volume>
<journal>IEEE Robotics Autom. Lett.</journal>
<number>9</number>
<ee>https://doi.org/10.1109/LRA.2025.3592098</ee>
<url>db/journals/ral/ral10.html#CaiCLZBLLGDQGILVSBR25</url>
<stream>streams/journals/ral</stream>
</article>
</r>
<r><data publtype="version" key="data/11/TackDLBNBS25" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0009-0002-1038-8961" pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2025</year>
<month>February</month>
<ee type="oa">https://doi.org/10.5281/zenodo.14848368</ee>
<publisher>Zenodo</publisher>
<stream>streams/repo/zenodo</stream>
<rel sort="17" label="Version 2.9.0" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
</data>
</r>
<r><data publtype="version" key="data/11/TackDLBNBS25a" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0009-0002-1038-8961" pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2025</year>
<month>March</month>
<ee type="oa">https://doi.org/10.5281/zenodo.14957486</ee>
<publisher>Zenodo</publisher>
<stream>streams/repo/zenodo</stream>
<rel sort="18" label="Version 2.9.1" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
</data>
</r>
<r><data publtype="version" key="data/11/TackDLBNBS25b" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0009-0002-1038-8961" pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2025</year>
<month>March</month>
<ee type="oa">https://doi.org/10.5281/zenodo.14978566</ee>
<publisher>Zenodo</publisher>
<stream>streams/repo/zenodo</stream>
<rel sort="19" label="Version 2.9.2" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
</data>
</r>
<r><data publtype="version" key="data/11/TackDLBNBS25c" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0009-0002-1038-8961" pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2025</year>
<month>May</month>
<ee type="oa">https://doi.org/10.5281/zenodo.15494361</ee>
<publisher>Zenodo</publisher>
<stream>streams/repo/zenodo</stream>
<rel sort="20" label="Version 2.9.3" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
</data>
</r>
<r><data publtype="version" key="data/12/TackDLBNBS25" mdate="2026-03-26">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0009-0002-1038-8961" pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<publisher>Zenodo</publisher>
<year>2025</year>
<month>September</month>
<ee type="oa">https://doi.org/10.5281/zenodo.17221055</ee>
<stream>streams/repo/zenodo</stream>
<rel sort="21" label="Version 2.9.4" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
</data>
</r>
<r><inproceedings key="conf/aaai/LeoGB024" mdate="2024-04-02">
<author pid="132/9415">Kevin Leo</author>
<author pid="76/3059">Graeme Gange</author>
<author pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author pid="w/MarkWallace">Mark Wallace 0001</author>
<title>Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning.</title>
<pages>8065-8072</pages>
<year>2024</year>
<booktitle>AAAI</booktitle>
<ee type="oa">https://doi.org/10.1609/aaai.v38i8.28645</ee>
<crossref>conf/aaai/2024</crossref>
<url>db/conf/aaai/aaai2024.html#LeoGB024</url>
</inproceedings>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS24" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2024</year>
<month>February</month>
<ee type="oa">https://doi.org/10.5281/zenodo.10603060</ee>
<publisher>Zenodo</publisher>
<rel sort="11" label="Version 2.8.3" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS24a" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2024</year>
<month>May</month>
<ee type="oa">https://doi.org/10.5281/zenodo.10836043</ee>
<publisher>Zenodo</publisher>
<stream>streams/repo/zenodo</stream>
<rel sort="12" label="Version 2.8.4" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
</data>
</r>
<r><data publtype="version" key="data/11/TackDLBNBS24" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0009-0002-1038-8961" pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2024</year>
<month>June</month>
<ee type="oa">https://doi.org/10.5281/zenodo.11435545</ee>
<publisher>Zenodo</publisher>
<stream>streams/repo/zenodo</stream>
<rel sort="13" label="Version 2.8.5" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
</data>
</r>
<r><data publtype="version" key="data/11/TackDLBNBS24a" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0009-0002-1038-8961" pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2024</year>
<month>September</month>
<ee type="oa">https://doi.org/10.5281/zenodo.13841144</ee>
<publisher>Zenodo</publisher>
<stream>streams/repo/zenodo</stream>
<rel sort="15" label="Version 2.8.6" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
</data>
</r>
<r><data publtype="version" key="data/11/TackDLBNBS24b" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0009-0002-1038-8961" pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2024</year>
<month>October</month>
<ee type="oa">https://doi.org/10.5281/zenodo.13880415</ee>
<publisher>Zenodo</publisher>
<stream>streams/repo/zenodo</stream>
<rel sort="16" label="Version 2.8.7" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
</data>
</r>
<r><article publtype="informal" key="journals/corr/abs-2409-10196" mdate="2026-05-07">
<author pid="318/2917">Zhixi Cai</author>
<author pid="387/4176">Cristian Rojas Cardenas</author>
<author pid="132/9415">Kevin Leo</author>
<author orcid="0009-0007-4860-0696" pid="28/11532">Chenyuan Zhang</author>
<author pid="279/6469">Kal Backman</author>
<author pid="151/5720">Hanbing Li</author>
<author pid="172/6695">Boying Li</author>
<author pid="387/4167">Mahsa Ghorbanali</author>
<author pid="374/6421">Stavya Datta</author>
<author pid="58/3601">Lizhen Qu</author>
<author pid="387/3442">Julian Gutierrez Santiago</author>
<author pid="26/9729">Alexey Ignatiev</author>
<author pid="20/2537">Yuan-Fang Li</author>
<author pid="138/5600">Mor Vered</author>
<author pid="s/PeterJStuckey">Peter J. Stuckey</author>
<author pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author pid="37/8192">Hamid Rezatofighi</author>
<title>NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.</title>
<year>2024</year>
<volume>abs/2409.10196</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2409.10196</ee>
<url>db/journals/corr/corr2409.html#abs-2409-10196</url>
<stream>streams/journals/corr</stream>
</article>
</r>
<r><article key="journals/constraints/SenthooranKBCL023" mdate="2023-09-12">
<author orcid="0000-0001-6207-3780" pid="119/2044">Ilankaikone Senthooran</author>
<author orcid="0000-0002-6759-7185" pid="58/7967">Matthias Klapperst&#252;ck</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0000-0002-1788-9593" pid="46/7967">Tobias Czauderna</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0001-7326-8110" pid="w/MarkWallace">Mark Wallace 0001</author>
<author orcid="0000-0001-5536-7780" pid="33/6209">Michael Wybrow</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<title>Human-centred feasibility restoration in practice.</title>
<pages>203-243</pages>
<year>2023</year>
<volume>28</volume>
<journal>Constraints An Int. J.</journal>
<number>2</number>
<ee type="oa">https://doi.org/10.1007/s10601-023-09344-5</ee>
<url>db/journals/constraints/constraints28.html#SenthooranKBCL023</url>
</article>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS23" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2023</year>
<month>February</month>
<rel sort="1" label="Version 2.7.0" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<ee type="oa">https://doi.org/10.5281/zenodo.7672225</ee>
<publisher>Zenodo</publisher>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS23a" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2023</year>
<month>March</month>
<ee type="oa">https://doi.org/10.5281/zenodo.7787491</ee>
<publisher>Zenodo</publisher>
<rel sort="2" label="Version 2.7.1" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS23b" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2023</year>
<month>April</month>
<ee type="oa">https://doi.org/10.5281/zenodo.7803876</ee>
<publisher>Zenodo</publisher>
<rel sort="3" label="Version 2.7.2" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS23c" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2023</year>
<month>April</month>
<ee type="oa">https://doi.org/10.5281/zenodo.7865511</ee>
<publisher>Zenodo</publisher>
<rel sort="4" label="Version 2.7.3" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS23d" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2023</year>
<month>May</month>
<ee type="oa">https://doi.org/10.5281/zenodo.7923141</ee>
<publisher>Zenodo</publisher>
<rel sort="5" label="Version 2.7.4" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS23e" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2023</year>
<month>June</month>
<ee type="oa">https://doi.org/10.5281/zenodo.8012425</ee>
<publisher>Zenodo</publisher>
<rel sort="6" label="Version 2.7.5" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS23f" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2023</year>
<month>June</month>
<ee type="oa">https://doi.org/10.5281/zenodo.8062366</ee>
<publisher>Zenodo</publisher>
<rel sort="7" label="Version 2.7.6" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS23g" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2023</year>
<month>November</month>
<ee type="oa">https://doi.org/10.5281/zenodo.10140806</ee>
<publisher>Zenodo</publisher>
<rel sort="8" label="Version 2.8.0" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS23h" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2023</year>
<month>November</month>
<ee type="oa">https://doi.org/10.5281/zenodo.10208208</ee>
<publisher>Zenodo</publisher>
<rel sort="9" label="Version 2.8.1" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><data publtype="version" key="data/10/TackDLBNBS23i" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2023</year>
<month>December</month>
<ee type="oa">https://doi.org/10.5281/zenodo.10388161</ee>
<publisher>Zenodo</publisher>
<rel sort="10" label="Version 2.8.2" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><article key="journals/ai/LeoMTB22" mdate="2021-12-15">
<author pid="132/9415">Kevin Leo</author>
<author pid="63/2774">Christopher Mears</author>
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<title>Globalizing constraint models.</title>
<pages>103599</pages>
<year>2022</year>
<volume>302</volume>
<journal>Artif. Intell.</journal>
<ee>https://doi.org/10.1016/j.artint.2021.103599</ee>
<url>db/journals/ai/ai302.html#LeoMTB22</url>
</article>
</r>
<r><data publtype="version" key="data/10/TackDBLNS22" mdate="2025-11-06">
<author orcid="0000-0003-3357-6498" pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-0053-6724" pid="204/5900">Jip J. Dekker</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author pid="207/5747-1">Jason Nguyen 0001</author>
<author orcid="0000-0003-2186-0459" pid="s/PeterJStuckey">Peter J. Stuckey</author>
<title>MiniZinc.</title>
<year>2022</year>
<month>June</month>
<ee type="oa">https://doi.org/10.5281/zenodo.7340324</ee>
<publisher>Zenodo</publisher>
<rel sort="0" label="Version 2.6.4" uri="https://doi.org/10.5281/zenodo.7340323" type="versionOf">data/10/TackDBLNS22a</rel>
<stream>streams/repo/zenodo</stream>
</data>
</r>
<r><inproceedings key="conf/cp/SenthooranKBCLW21" mdate="2021-11-03">
<author orcid="0000-0001-6207-3780" pid="119/2044">Ilankaikone Senthooran</author>
<author orcid="0000-0002-6759-7185" pid="58/7967">Matthias Klapperst&#252;ck</author>
<author orcid="0000-0002-6120-8484" pid="96/2575">Gleb Belov</author>
<author orcid="0000-0002-1788-9593" pid="46/7967">Tobias Czauderna</author>
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0001-7326-8110" pid="w/MarkWallace">Mark Wallace 0001</author>
<author orcid="0000-0001-5536-7780" pid="33/6209">Michael Wybrow</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<title>Human-Centred Feasibility Restoration.</title>
<pages>49:1-49:18</pages>
<year>2021</year>
<booktitle>CP</booktitle>
<ee type="oa">https://doi.org/10.4230/LIPIcs.CP.2021.49</ee>
<crossref>conf/cp/2021</crossref>
<url>db/conf/cp/cp2021.html#SenthooranKBCLW21</url>
</inproceedings>
</r>
<r><inproceedings key="conf/cp/LeoGBW20" mdate="2020-09-19">
<author orcid="0000-0003-4720-4265" pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-1354-431X" pid="76/3059">Graeme Gange</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<author orcid="0000-0001-7326-8110" pid="w/MarkWallace">Mark Wallace 0001</author>
<title>Core-Guided Model Reformulation.</title>
<pages>445-461</pages>
<year>2020</year>
<booktitle>CP</booktitle>
<ee>https://doi.org/10.1007/978-3-030-58475-7_26</ee>
<crossref>conf/cp/2020</crossref>
<url>db/conf/cp/cp2020.html#LeoGBW20</url>
</inproceedings>
</r>
<r><inproceedings key="conf/cp/ZeighamiLTB18" mdate="2019-09-25">
<author pid="225/1658">Kiana Zeighami</author>
<author pid="132/9415">Kevin Leo</author>
<author pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<title>Towards Semi-Automatic Learning-Based Model Transformation.</title>
<pages>403-419</pages>
<year>2018</year>
<booktitle>CP</booktitle>
<ee>https://doi.org/10.1007/978-3-319-98334-9_27</ee>
<crossref>conf/cp/2018</crossref>
<url>db/conf/cp/cp2018.html#ZeighamiLTB18</url>
</inproceedings>
</r>
<r><phdthesis key="phd/au/Leo17" mdate="2023-02-28">
<author pid="132/9415">Kevin Leo</author>
<title>Making the Most of Structure in Constraint Models.</title>
<school>Monash University, Australia</school>
<year>2017</year>
<ee>https://doi.org/10.4225/03/596daeeccfcd8</ee>
</phdthesis>
</r>
<r><inproceedings key="conf/cpaior/LeoT17" mdate="2017-05-31">
<author pid="132/9415">Kevin Leo</author>
<author pid="41/5343">Guido Tack</author>
<title>Debugging Unsatisfiable Constraint Models.</title>
<pages>77-93</pages>
<year>2017</year>
<booktitle>CPAIOR</booktitle>
<ee>https://doi.org/10.1007/978-3-319-59776-8_7</ee>
<crossref>conf/cpaior/2017</crossref>
<url>db/conf/cpaior/cpaior2017.html#LeoT17</url>
</inproceedings>
</r>
<r><article key="journals/eor/LibertoKLM16" mdate="2022-05-30">
<author pid="132/9057">Giovanni M. Di Liberto</author>
<author pid="35/5878">Serdar Kadioglu</author>
<author pid="132/9415">Kevin Leo</author>
<author pid="59/2173">Yuri Malitsky</author>
<title>DASH: Dynamic Approach for Switching Heuristics.</title>
<pages>943-953</pages>
<year>2016</year>
<volume>248</volume>
<journal>Eur. J. Oper. Res.</journal>
<number>3</number>
<ee>https://doi.org/10.1016/j.ejor.2015.08.018</ee>
<url>db/journals/eor/eor248.html#LibertoKLM16</url>
</article>
</r>
<r><inproceedings key="conf/iccS/BettsMRTLEH15" mdate="2024-10-06">
<author orcid="0000-0002-2715-104X" pid="144/9708">John M. Betts</author>
<author pid="63/2774">Christopher Mears</author>
<author orcid="0000-0001-8146-1113" pid="164/9663">Hayley M. Reynolds</author>
<author pid="41/5343">Guido Tack</author>
<author pid="132/9415">Kevin Leo</author>
<author orcid="0000-0002-6875-0719" pid="164/9924">Martin A. Ebert</author>
<author orcid="0000-0003-1382-7747" pid="165/0067">Annette Haworth</author>
<title>Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy.</title>
<pages>914-923</pages>
<year>2015</year>
<booktitle>ICCS</booktitle>
<ee>https://doi.org/10.1016/j.procs.2015.05.225</ee>
<crossref>conf/iccS/2015</crossref>
<url>db/conf/iccS/iccS2015.html#BettsMRTLEH15</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ijcai/LeoT15" mdate="2019-08-20">
<author pid="132/9415">Kevin Leo</author>
<author pid="41/5343">Guido Tack</author>
<title>Multi-Pass High-Level Presolving.</title>
<pages>346-352</pages>
<year>2015</year>
<booktitle>IJCAI</booktitle>
<ee type="oa">http://ijcai.org/Abstract/15/055</ee>
<crossref>conf/ijcai/2015</crossref>
<url>db/conf/ijcai/ijcai2015.html#LeoT15</url>
</inproceedings>
</r>
<r><inproceedings key="conf/cp/LeoMTB13" mdate="2017-06-02">
<author pid="132/9415">Kevin Leo</author>
<author pid="63/2774">Christopher Mears</author>
<author pid="41/5343">Guido Tack</author>
<author orcid="0000-0002-6666-514X" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</author>
<title>Globalizing Constraint Models.</title>
<pages>432-447</pages>
<year>2013</year>
<booktitle>CP</booktitle>
<ee>https://doi.org/10.1007/978-3-642-40627-0_34</ee>
<crossref>conf/cp/2013</crossref>
<url>db/conf/cp/cp2013.html#LeoMTB13</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/LibertoKLM13" mdate="2022-05-30">
<author pid="132/9057">Giovanni M. Di Liberto</author>
<author pid="35/5878">Serdar Kadioglu</author>
<author pid="132/9415">Kevin Leo</author>
<author pid="59/2173">Yuri Malitsky</author>
<title>DASH: Dynamic Approach for Switching Heuristics.</title>
<year>2013</year>
<journal>CoRR</journal>
<ee type="oa">http://arxiv.org/abs/1307.4689</ee>
<volume>abs/1307.4689</volume>
<url>db/journals/corr/corr1307.html#LibertoKLM13</url>
</article>
</r>
<coauthors n="38" nc="2">
<co c="0"><na f="b/Backman:Kal" pid="279/6469">Kal Backman</na></co>
<co c="0"><na f="b/Banda:Maria_Garcia_de_la" pid="b/MariaJGarciadelaBanda">Maria Garcia de la Banda</na></co>
<co c="0"><na f="b/Belov:Gleb" pid="96/2575">Gleb Belov</na></co>
<co c="0"><na f="b/Betts:John_M=" pid="144/9708">John M. Betts</na></co>
<co c="0"><na f="c/Cai:Zhixi" pid="318/2917">Zhixi Cai</na></co>
<co c="0"><na f="c/Cardenas:Cristian_Rojas" pid="387/4176">Cristian Rojas Cardenas</na></co>
<co c="0"><na f="c/Czauderna:Tobias" pid="46/7967">Tobias Czauderna</na></co>
<co c="0"><na f="d/Datta:Stavya" pid="374/6421">Stavya Datta</na></co>
<co c="0"><na f="d/Dekker:Jip_J=" pid="204/5900">Jip J. Dekker</na></co>
<co c="0"><na f="e/Ebert:Martin_A=" pid="164/9924">Martin A. Ebert</na></co>
<co c="0"><na f="g/Gange:Graeme" pid="76/3059">Graeme Gange</na></co>
<co c="0"><na f="g/Ghorbanali:Mahsa" pid="387/4167">Mahsa Ghorbanali</na></co>
<co c="0"><na f="g/Gutierrez_0001:Julian" pid="75/4014">Julian Gutierrez 0001</na></co>
<co c="0"><na f="h/Haworth:Annette" pid="165/0067">Annette Haworth</na></co>
<co c="0"><na f="h/Huang:Sukai" pid="348/6837">Sukai Huang</na></co>
<co c="0"><na f="i/Ignatiev:Alexey" pid="26/9729">Alexey Ignatiev</na></co>
<co c="1"><na f="k/Kadioglu:Serdar" pid="35/5878">Serdar Kadioglu</na></co>
<co c="0"><na f="k/Ke:Fucai" pid="336/6982">Fucai Ke</na></co>
<co c="0"><na f="k/Klapperst=uuml=ck:Matthias" pid="58/7967">Matthias Klapperst&#252;ck</na></co>
<co c="0"><na f="l/Li:Boying" pid="172/6695">Boying Li</na></co>
<co c="0"><na f="l/Li:Hanbing" pid="151/5720">Hanbing Li</na></co>
<co c="0"><na f="l/Li:Yuan=Fang" pid="20/2537">Yuan-Fang Li</na></co>
<co c="1"><na f="l/Liberto:Giovanni_M=_Di" pid="132/9057">Giovanni M. Di Liberto</na></co>
<co c="1"><na f="m/Malitsky:Yuri" pid="59/2173">Yuri Malitsky</na></co>
<co c="0"><na f="m/Mears:Christopher" pid="63/2774">Christopher Mears</na></co>
<co c="0"><na f="n/Nguyen_0001:Jason" pid="207/5747-1">Jason Nguyen 0001</na></co>
<co c="0"><na f="q/Qu:Lizhen" pid="58/3601">Lizhen Qu</na></co>
<co c="0"><na f="r/Reynolds:Hayley_M=" pid="164/9663">Hayley M. Reynolds</na></co>
<co c="0" n="2"><na f="r/Rezatofighi:Seyed_Hamid" pid="37/8192">Seyed Hamid Rezatofighi</na><na>Hamid Rezatofighi</na></co>
<co c="0"><na f="s/Santiago:Julian_Gutierrez" pid="387/3442">Julian Gutierrez Santiago</na></co>
<co c="0"><na f="s/Senthooran:Ilankaikone" pid="119/2044">Ilankaikone Senthooran</na></co>
<co c="0"><na f="s/Stuckey:Peter_J=" pid="s/PeterJStuckey">Peter J. Stuckey</na></co>
<co c="0"><na f="t/Tack:Guido" pid="41/5343">Guido Tack</na></co>
<co c="0"><na f="v/Vered:Mor" pid="138/5600">Mor Vered</na></co>
<co c="0"><na f="w/Wallace_0001:Mark" pid="w/MarkWallace">Mark Wallace 0001</na></co>
<co c="0"><na f="w/Wybrow:Michael" pid="33/6209">Michael Wybrow</na></co>
<co c="0"><na f="z/Zeighami:Kiana" pid="225/1658">Kiana Zeighami</na></co>
<co c="0"><na f="z/Zhang:Chenyuan" pid="28/11532">Chenyuan Zhang</na></co>
</coauthors>
</dblpperson>

