Kevin Leo

Hamid Rezatofighi

CoRR, January, 2026

MiniZinc.

[BibT_eX]

[DOI]

Dataset, January, 2026

2025

NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.

[BibT_eX]

[DOI]

Zhixi Cai

Cristian Rojas Cardenas

Hamid Rezatofighi

IEEE Robotics Autom. Lett., September, 2025

MiniZinc.

[BibT_eX]

[DOI]

Dataset, September, 2025

MiniZinc.

[BibT_eX]

[DOI]

Dataset, May, 2025

MiniZinc.

[BibT_eX]

[DOI]

Dataset, March, 2025

MiniZinc.

[BibT_eX]

[DOI]

Dataset, March, 2025

MiniZinc.

[BibT_eX]

[DOI]

Dataset, February, 2025

2024

MiniZinc.

[BibT_eX]

[DOI]

Dataset, October, 2024

MiniZinc.

[BibT_eX]

[DOI]

Dataset, September, 2024

MiniZinc.

[BibT_eX]

[DOI]

Dataset, June, 2024

MiniZinc.

[BibT_eX]

[DOI]

Dataset, May, 2024

MiniZinc.

[BibT_eX]

[DOI]

Julian Gutierrez Santiago

Dataset, February, 2024

NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.

[BibT_eX]

[DOI]

Zhixi Cai

Cristian Rojas Cardenas

Hamid Rezatofighi

CoRR, 2024

Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning.

[BibT_eX]

[DOI]

Graeme Gange

Mark Wallace

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, December, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, November, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, November, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, June, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, June, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, May, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, April, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, April, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, March, 2023

MiniZinc.

[BibT_eX]

[DOI]

Dataset, February, 2023

Human-centred feasibility restoration in practice.

[BibT_eX]

[DOI]

Ilankaikone Senthooran

Matthias Klapperstück

Constraints An Int. J., 2023

2022

MiniZinc.

[BibT_eX]

[DOI]

Dataset, June, 2022

2021

Human-Centred Feasibility Restoration.

[BibT_eX]

[DOI]

Ilankaikone Senthooran

Matthias Klapperstück

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

Core-Guided Model Reformulation.

[BibT_eX]

[DOI]

Graeme Gange

Mark Wallace

Proceedings of the Principles and Practice of Constraint Programming, 2020

2018

Towards Semi-Automatic Learning-Based Model Transformation.

[BibT_eX]

[DOI]

Kiana Zeighami

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Making the Most of Structure in Constraint Models.

[BibT_eX]

[DOI]

PhD thesis, 2017

Debugging Unsatisfiable Constraint Models.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2016

DASH: Dynamic Approach for Switching Heuristics.

[BibT_eX]

[DOI]

Giovanni M. Di Liberto

Serdar Kadioglu

Yuri Malitsky

Eur. J. Oper. Res., 2016

2015

Multi-Pass High-Level Presolving.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2015

2013

Globalizing Constraint Models.

[BibT_eX]

[DOI]

Christopher Mears