Items where authors include "Miguel, Ian"

Article

Attieh, Saad Wasim A, Dang, Nguyen, Jefferson, Christopher et al. (2 more authors) (2025) Athanor: Local Search over Abstract Constraint Specifications. Artificial Intelligence. 104277. ISSN 0004-3702

Espasa, Joan, Miguel, Ian, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (2 more authors) (2024) Plotting:A Case Study in Lifted Planning with Constraints. Journal of Constraints. ISSN 1383-7133

Akgün, Özgür, Frisch, Alan Mark, Gent, Ian Philip et al. (3 more authors) (2022) Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artificial Intelligence. 103751. ISSN 0004-3702

Gent, Ian, Jefferson, Christopher, Linton, Steve et al. (2 more authors) (2014) Generating custom propagators for arbitrary constraints. Artificial Intelligence. pp. 1-33. ISSN 0004-3702

Proceedings Paper

Espasa, Joan, Gent, Ian Philip, Miguel, Ian et al. (3 more authors) (2024) Cross-Paradigm Modelling: A Study of Puzznic. In: 2024 IEEE 36th International Conference on Tools with Artificial Intelligence. IEEE International Conference on Tools with Artificial Intelligence, 28-30 Oct 2024. IEEE Computer Society , USA .

Dang, Nguyen, Akgün, Özgür, Espasa, Joan et al. (2 more authors) (2022) A Framework for Generating Informative Benchmark Instances. In: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). UNSPECIFIED. LIPICS .

Attieh, Saad Wasim A, Dang, Nguyen, Jefferson, Christopher et al. (2 more authors) (2019) Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence. UNSPECIFIED. International Joint Conferences on Artificial Intelligence , pp. 1056-1063.

Nightingale, Peter orcid.org/0000-0002-5052-8634, Akgun, Ozgur, Gent, Ian Philip et al. (2 more authors) (2014) Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. In: Principles and Practice of Constraint Programming. UNSPECIFIED. Lecture Notes in Computer Science . Springer , Cham , pp. 590-605.

Gent, Ian P., Hussain, Bilal Syed, Jefferson, Christopher et al. (4 more authors) (2014) Discriminating instance generation for automated constraint model selection. In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. UNSPECIFIED. Springer , pp. 356-365.

Akgun, Ozgur, Miguel, Ian, Jefferson, Chris et al. (2 more authors) (2011) Extensible Automated Constraint Modelling. In: Proceedings of theTwenty-Fifth AAAI Conference on Artificial Intelligence. UNSPECIFIED. AAAI Press , San Francisco , pp. 4-11.