Peter Nightingale

Search results

• 2024

  Approximating Problems in Abstract Argumentation with Graph Convolutional Networks

  Malmqvist, L., Yuan, T. & Nightingale, P., 1 Nov 2024, In: Artificial Intelligence. 336, 44 p., 104209.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Athanor: Local Search over Abstract Constraint Specifications

  Attieh, S. W. A., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 1 Mar 2025, In: Artificial Intelligence. 340, 39 p., 104277.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Cross-Paradigm Modelling: A Study of Puzznic

  Espasa, J., Gent, I. P., Miguel, I., Nightingale, P., Salamon, A. Z. & Villaret, M., 30 Oct 2024, 2024 IEEE 36th International Conference on Tools with Artificial Intelligence. IEEE Computer Society, 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints

  Ulrich-Oltean, F., Nightingale, P. & Walker, J. A., 30 Oct 2024, 2024 IEEE 36th International Conference on Tools with Artificial Intelligence. IEEE Computer Society, 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Plotting: A Case Study in Lifted Planning with Constraints

  Espasa, J., Miguel, I., Nightingale, P., Salamon, A. Z. & Villaret, M., 13 Sept 2024, In: Journal of Constraints.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2023

  Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)

  Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. J. & Nightingale, P., 5 Apr 2023, (Accepted/In press) Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI/AAAI, p. 6833-6838 765

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Learning to select SAT encodings for pseudo-Boolean and linear integer constraints

  Ulrich-Oltean, F., Nightingale, P. & Walker, J. A., 2 Nov 2023, In: Journal of Constraints. 28, p. 397-426 30 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Learning When to Use Automatic Tabulation in Constraint Model Reformulation

  Cena, C., Akgün, Ö., Kiziltan, Z., Miguel, I. J., Nightingale, P. & Ulrich-Oltean, F., Aug 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI/AAAI, p. 1902-1910 9 p. 211

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)

  Bofill, M., Coll, J., Nightingale, P., Suy, J., Ulrich-Oltean, F. & Villaret, M., Aug 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI/AAAI, p. 6853-6857 5 p. 769

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2022

  A Framework for Generating Informative Benchmark Instances

  Dang, N., Akgün, Ö., Espasa, J., Miguel, I. & Nightingale, P., 31 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). LIPICS, Vol. 235.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• A latent capture history model for digital aerial surveys

  Borchers, D., Nightingale, P., Stevenson, B. & Fewster, R., 31 Mar 2022, In: Biometrics (Journal of the International Biometric Society). 78, 1, p. 274-285

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Conjure: Automatic Generation of Constraint Models from Problem Specifications

  Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. & Nightingale, P., 1 Sept 2022, In: Artificial Intelligence. 310, 27 p., 103751.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints

  Bofill, M., Coll, J., Nightingale, P., Suy, J., Ulrich-Oltean, F. & Villaret, M., 1 Jan 2022, In: Artificial Intelligence. 302, 32 p., 103604.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

  Ulrich-Oltean, F., Nightingale, P. & Walker, J. A., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). LIPICS, 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2020

  Effective Encodings of Constraint Programming Models to SMT

  Davidson, E., Akgün, Ö., Espasa, J. & Nightingale, P., 7 Sept 2020, Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming. Springer, p. 143-159 17 p. (Lecture Notes in Computer Science; vol. 12333).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• How people visually represent discrete constraint problems

  Zhu, X., Nacenta, M., Akgun, O. & Nightingale, P. W., 1 Aug 2020, In: IEEE Transactions on Visualization and Computer Graphics. 26, 8, 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2019

  Area Interaction Point Processes for Bivariate Point Patterns in a Bayesian Context

  Nightingale, G. F., Illian, J., King, R. & Nightingale, P., 15 Sept 2019, In: Journal of Environmental Statistics. 9, 2, p. 1-21 21 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

  Attieh, S. W. A., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 1056-1063 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

  Ansótegui, C., Bofill, M., Coll, J., Dang, N., Esteban, J. L., Miguel, I. J., Nightingale, P., Salamon, A. Z., Suy, J. & Villaret, M., 30 Sept 2019, Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer, p. 20-36 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2018

  A framework for constraint based local search using ESSENCE

  Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• A review of literature on parallel constraint solving

  Gent, I. P., McCreesh, C., Miguel, I. J., Moore, N., Nightingale, P. W., Prosser, P. & Unsworth, C., Sept 2018, In: Theory and Practice of Logic Programming. 18, 5-6, p. 725-758 34 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Automatic discovery and exploitation of promising subproblems for tabulation

  Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z., 27 Aug 2018, Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Proceedings: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Netherlands: Springer, p. 3-12 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11008 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Closed frequent itemset mining with arbitrary side constraints

  Kocak, G., Akgun, O., Miguel, I. J. & Nightingale, P. W., 17 Nov 2018, Workshop proceedings (OEDM 2018) of the 2018 IEEE International Conference on Data Mining (ICDM). IEEE Computer Society, 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Complexity of n-Queens completion (extended abstract)

  Gent, I. P., Jefferson, C. A. & Nightingale, P. W., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5608-5611 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Metamorphic testing of constraint solvers

  Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 23 Aug 2018, Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Proceedings: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Netherlands: Springer, p. 727-736 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11008 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2017

  Automatically improving constraint models in Savile Row

  Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. J. & Spracklen, P., Oct 2017, In: Artificial Intelligence. 251, p. 35-61 27 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Complexity of n-Queens Completion

  Gent, I. P., Jefferson, C. A. & Nightingale, P. W., 30 Aug 2017, In: Journal of Artificial Intelligence Research (JAIR). 59, p. 815-848 34 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Generalized support and formal development of constraint propagators

  Caldwell, J. L., Gent, I. P. & Nightingale, P. W., 31 Aug 2017, In: AI Communications. 30, 5, p. 325-346 22 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2016

  Exploiting short supports for improved encoding of arbitrary constraints into SAT

  Akgün, Ö., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 5 Sept 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Netherlands: Springer, p. 3-12 10 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2015

  Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row

  Nightingale, P., Spracklen, P. & Miguel, I. J., 1 Oct 2015, Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. Pesant, G. (ed.). Netherlands: Springer, Vol. 9255. p. 330-340 11 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Bayesian spatial NBDA for diffusion data with home-base coordinates

  Nightingale, G. F., Laland, K. N., Hoppitt, W. J. E. & Nightingale, P., 2 Jul 2015, In: PLoS ONE. 10, 7, e0130326.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• S-crucial and bicrucial permutations with respect to squares

  Gent, I. P., Kitaev, S., Konovalov, A., Linton, S. & Nightingale, P., 3 Jun 2015, In: Journal of Integer Sequences. 18, 6, 22 p., 15.6.5.

  Research output: Contribution to journal › Article › peer-review

  Open Access
• 2014

  Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

  Nightingale, P., Akgun, O., Gent, I. P., Jefferson, C. & Miguel, I., 8 Sept 2014, Principles and Practice of Constraint Programming. Cham: Springer, p. 590-605 16 p. (Lecture Notes in Computer Science; vol. 8656).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Breaking conditional symmetry in automated constraint modelling with CONJURE

  Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 18 Aug 2014, ECAI 2014. IOS Press, Vol. 263. p. 3-8 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Discriminating instance generation for automated constraint model selection

  Gent, I. P., Hussain, B. S., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, G. F. & Nightingale, P., 8 Sept 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer, p. 356-365 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Generating custom propagators for arbitrary constraints

  Gent, I., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., 1 Jun 2014, In: Artificial Intelligence. 211, p. 1-33 33 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Qualitative modelling via constraint programming

  Kelsey, T. W., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. W. & Gent, I. P., 1 Apr 2014, In: Journal of Constraints. 19, 2, p. 163-173

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2013

  An Automated Constraint Modelling and Solving Toolchain

  Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, ARW 2013 - 20th Automated Reasoning Workshop.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated Symmetry Breaking and Model Selection in Conjure

  Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference. p. 107-116

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Extending Simple Tabular Reduction with Short Supports

  Jefferson, C. A. & Nightingale, P., 2013, Proceedings of the Twenty-Third International Joint Conference on Artificial Intellegence. p. 573-579 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Short and long supports for constraint propagation

  Nightingale, P., Gent, I. P., Jefferson, C. A. & Miguel, I. J., 1 Jan 2013, In: Journal of Artificial Intelligence Research (JAIR). 46, p. 1-45 45 p.

  Research output: Contribution to journal › Article › peer-review
• 2012

  An Automated Approach to Generating Efficient Constraint Solvers

  Balasubramaniam, D., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P., 2012, 2012 34th international conference on software engineering (ICSE 2012). IEEE, p. 661-671 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2011

  Dominion: an architecture-driven approach to generating efficient constraint solvers

  Balasubramaniam, D., De Silva, L. R., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P., 1 Jun 2011, Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA). United States: IEEE Computer Society, p. 228-231 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Exploiting short supports for generalised arc consistency for arbitrary constraints

  Nightingale, P., Gent, I. P., Jefferson, C. A. & Miguel, I. J., 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). Walsh, T. (ed.). IJCAI/AAAI, p. 623-628 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Extended Global Cardinality Constraint: An Empirical Survey

  Nightingale, P., 1 Feb 2011, In: Artificial Intelligence. 175, 2, p. 586-614 29 p.

  Research output: Contribution to journal › Article › peer-review
• 2010

  Ensemble Classification for Constraint Solver Configuration

  Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2010, Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming. Cohen, D. (ed.). Netherlands: Springer, Vol. 6308. p. 321-329 9 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Generating Special-Purpose Stateless Propagators for Arbitrary Constraints

  Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 2010, Principles and Practice of Constraint Programming – CP 2010. Cohen, D. (ed.). Netherlands: Springer, Vol. 6308. p. 206-220 15 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Implementing logical connectives in constraint programming

  Jefferson, C. A., Moore, N. C. A., Nightingale, P. & Petrie, K. E., 1 Nov 2010, In: Artificial Intelligence. 174, 16-17, p. 1407-1429 23 p.

  Research output: Contribution to journal › Article › peer-review

• Learning When to Use Lazy Learning in Constraint Solving

  Gent, I. P., Jefferson, C. A., Kotthoff, L., Miguel, I. J., Moore, N. C. A., Nightingale, P. & Petrie, K., 2010, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010). IOS Press, p. 873-878 6 p. (Frontiers in Artificial Intelligence and Applications).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2009

  Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics

  Huczynska, S., McKay, P., Miguel, I. J. & Nightingale, P. W., 2009, Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming. Gent, I. (ed.). Netherlands: Springer, Vol. 5732. p. 50-64 15 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution