default search action

combined dblp search
author search
venue search
publication search

ask others

Kevin Leo

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2017
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/au/Leo17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/au/Leo17
Kevin Leo:
Making the Most of Structure in Constraint Models. Monash University, Australia, 2017

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/constraints/SenthooranKBCL023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/SenthooranKBCL023
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda:
Human-centred feasibility restoration in practice. Constraints An Int. J. 28(2): 203-243 (2023)
2022
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/LeoMTB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/LeoMTB22
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Globalizing constraint models. Artif. Intell. 302: 103599 (2022)
2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/eor/LibertoKLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eor/LibertoKLM16
Giovanni M. Di Liberto, Serdar Kadioglu, Kevin Leo, Yuri Malitsky:
DASH: Dynamic Approach for Switching Heuristics. Eur. J. Oper. Res. 248(3): 943-953 (2016)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LeoGB024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LeoGB024
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace:
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. AAAI 2024: 8065-8072
2021
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/SenthooranKBCLW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SenthooranKBCLW21
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda:
Human-Centred Feasibility Restoration. CP 2021: 49:1-49:18
2020
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LeoGBW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LeoGBW20
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace:
Core-Guided Model Reformulation. CP 2020: 445-461
2018
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ZeighamiLTB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ZeighamiLTB18
Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda:
Towards Semi-Automatic Learning-Based Model Transformation. CP 2018: 403-419
2017
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/LeoT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/LeoT17
Kevin Leo, Guido Tack:
Debugging Unsatisfiable Constraint Models. CPAIOR 2017: 77-93
2015
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iccS/BettsMRTLEH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/BettsMRTLEH15
John M. Betts, Christopher Mears, Hayley M. Reynolds, Guido Tack, Kevin Leo, Martin A. Ebert, Annette Haworth:
Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy. ICCS 2015: 914-923
[c2]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/LeoT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LeoT15
Kevin Leo, Guido Tack:
Multi-Pass High-Level Presolving. IJCAI 2015: 346-352
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LeoMTB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LeoMTB13
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Globalizing Constraint Models. CP 2013: 432-447

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2024
[d13]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS24
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.3. Zenodo, 2024 [all versions]
[d12]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS24a
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.4. Zenodo, 2024 [all versions]
2023
[d11]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.0. Zenodo, 2023 [all versions]
[d10]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23a
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.1. Zenodo, 2023 [all versions]
[d9]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23b
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.2. Zenodo, 2023 [all versions]
[d8]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23c
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.3. Zenodo, 2023 [all versions]
[d7]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23d
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.4. Zenodo, 2023 [all versions]
[d6]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23e
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.5. Zenodo, 2023 [all versions]
[d5]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23f
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23f
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.6. Zenodo, 2023 [all versions]
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23g
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23g
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.0. Zenodo, 2023 [all versions]
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23h
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23h
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.1. Zenodo, 2023 [all versions]
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDLBNBS23i
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDLBNBS23i
Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.2. Zenodo, 2023 [all versions]
2022
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/TackDBLNS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/TackDBLNS22
Guido Tack, Jip J. Dekker, Gleb Belov, Kevin Leo, Jason Nguyen, Peter J. Stuckey:
MiniZinc. Version 2.6.4. Zenodo, 2022 [all versions]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-10196
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-10196
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez Santiago, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi:
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. CoRR abs/2409.10196 (2024)
2013
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LibertoKLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LibertoKLM13
Giovanni M. Di Liberto, Serdar Kadioglu, Kevin Leo, Yuri Malitsky:
DASH: Dynamic Approach for Switching Heuristics. CoRR abs/1307.4689 (2013)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.