Items where authors include "Nightingale, Peter William"

Article

Zhu, Xu, Nacenta, Miguel, Akgun, Ozgur et al. (1 more author) (2020) How people visually represent discrete constraint problems. IEEE Transactions on Visualization and Computer Graphics. ISSN 1077-2626

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

Kocak, Gokberk, Akgun, Ozgur, Miguel, Ian James et al. (1 more author) (2018) Closed frequent itemset mining with arbitrary side constraints. In: Workshop proceedings (OEDM 2018) of the 2018 IEEE International Conference on Data Mining (ICDM). UNSPECIFIED. IEEE Computer Society .

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.

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.