| SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints M Bofill, J Coll, P Nightingale, J Suy, F Ulrich-Oltean, M Villaret Artificial Intelligence 302, 103604, 2022 | 20 | 2022 |
| Selecting SAT encodings for pseudo-boolean and linear integer constraints F Ulrich-Oltean, P Nightingale, JA Walker 28th International Conference on Principles and Practice of Constraint …, 2022 | 8 | 2022 |
| Learning to select SAT encodings for pseudo-Boolean and linear integer constraints F Ulrich-Oltean, P Nightingale, JA Walker Constraints 28 (3), 397-426, 2023 | 6 | 2023 |
| Learning SAT Encodings for Constraint Satisfaction Problems F Ulrich-Oltean University of York, 2023 | 2 | 2023 |
| TabID: automatic identification and tabulation of subproblems in constraint models Ö Akgün, I Gent, C Jefferson, Z Kiziltan, I Miguel, P Nightingale, ... Journal of Artificial Intelligence Research 82, 1999-2056, 2025 | 1 | 2025 |
| IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints F Ulrich-Oltean, P Nightingale, JA Walker 2024 IEEE 36th International Conference on Tools with Artificial …, 2024 | 1 | 2024 |
| Generalizing learning-to-prune for constraint programming D Ajwani, P Nightingale, F Ulrich-Oltean Proceedings of the 23rd workshop on Constraint Modelling and Reformulation …, 2024 | 1 | 2024 |
| Constraint models for relaxed Klondike variants N Dang, IP Gent, P Nightingale, F Ulrich-Oltean, J Waller ModRef 2024: The 23rd workshop on Constraint Modelling and Reformulation, 2024 | 1 | 2024 |
| Learning when to use automatic tabulation in constraint model reformulation C Cena, O Akgun, Z Kiziltan, IJ Miguel, P Nightingale, F Ulrich-Oltean Proceedings of the 32nd International Joint Conference on Artificial …, 2023 | 1 | 2023 |
| Automatic tabulation in constraint models Ö Akgün, IP Gent, C Jefferson, Z Kiziltan, I Miguel, P Nightingale, ... arXiv preprint arXiv:2202.13250, 2022 | 1 | 2022 |
| Selecting SAT Encodings for Pseudo-Boolean and Linear Constraints: Preliminary Results F Ulrich-Oltean, P Nightingale, JA Walker October, 2021 | 1 | 2021 |
| Scheduling Telescope Observations for the European Southern Observatory M Prümm, P Nightingale, F Ulrich-Oltean 31st International Conference on Principles and Practice of Constraint …, 2025 | | 2025 |
| Constraint models for Klondike N Dang, IP Gent, P Nightingale, F Ulrich-Oltean, J Waller 31st international conference on principles and practice of constraint …, 2025 | | 2025 |
| SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints M Bofill Arasa, J Coll Caballero, P Nightingale, J Suy Franch, ... | | 2022 |
Peter NightingaleSenior Lecturer, Department of Computer Science, University of YorkVerified email at york.ac.uk
