Items where authors include "Gent, Ian Philip"

Article

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 Philip, McCreesh, Ciaran, Miguel, Ian James et al. (4 more authors) (2018) A review of literature on parallel constraint solving. Theory and Practice of Logic Programming. pp. 725-758. ISSN 1475-3081

Caldwell, James Lynn, Gent, Ian Philip and Nightingale, Peter William orcid.org/0000-0002-5052-8634 (2017) Generalized support and formal development of constraint propagators. AI Communications. pp. 325-346. ISSN 1875-8452

Gent, Ian Philip, Jefferson, Christopher Anthony and Nightingale, Peter William orcid.org/0000-0002-5052-8634 (2017) Complexity of n-Queens Completion. Journal of Artificial Intelligence Research (JAIR). pp. 815-848. ISSN 1076-9757

Kelsey, Thomas William, Kotthoff, Lars, Jefferson, Christopher Anthony et al. (4 more authors) (2014) Qualitative modelling via constraint programming. Journal of Constraints. pp. 163-173. ISSN 1383-7133

Proceedings Paper

Akgün, Özgür, Frisch, Alan Mark, Gent, Ian Philip et al. (3 more authors) (2023) Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). In: Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence, 19-25 Aug 2023. IJCAI/AAAI , MAC , pp. 6833-6838. (In Press)

Akgun, Ozgur, Gent, Ian Philip, Jefferson, Christopher Anthony et al. (3 more authors) (2018) Automatic discovery and exploitation of promising subproblems for tabulation. In: Hooker, John, (ed.) Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Proceedings:24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , Netherlands , pp. 3-12.

Akgun, Ozgur, Gent, Ian Philip, Jefferson, Christopher Anthony et al. (2 more authors) (2018) Metamorphic testing of constraint solvers. In: Hooker, John, (ed.) Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Proceedings:24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , Netherlands , pp. 727-736.

Gent, Ian Philip, Jefferson, Christopher Anthony and Nightingale, Peter William orcid.org/0000-0002-5052-8634 (2018) Complexity of n-Queens completion (extended abstract). In: Lang, Jérôme, (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. UNSPECIFIED. International Joint Conferences on Artificial Intelligence , pp. 5608-5611.

Akgun, Ozgur, Attieh, Saad Wasim A, Gent, Ian Philip et al. (6 more authors) (2018) A framework for constraint based local search using ESSENCE. In: Lang, Jérôme, (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. UNSPECIFIED. International Joint Conferences on Artificial Intelligence , pp. 1242-1248.

Akgün, Özgür, Gent, Ian Philip, Jefferson, Christopher Anthony et al. (2 more authors) (2016) Exploiting short supports for improved encoding of arbitrary constraints into SAT. In: Rueher, Michael, (ed.) Principles and Practice of Constraint Programming:22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , Netherlands , pp. 3-12.

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.

Akgun, Ozgur, Gent, Ian Philip, Jefferson, Christopher Anthony et al. (2 more authors) (2014) Breaking conditional symmetry in automated constraint modelling with CONJURE. In: ECAI 2014. UNSPECIFIED. IOS Press , pp. 3-8.