Items where authors include "Nightingale, Peter"

Article

Ulrich-Oltean, Felix, Nightingale, Peter orcid.org/0000-0002-5052-8634 and Walker, James Alfred orcid.org/0000-0003-2174-7173 (2023) Learning to select SAT encodings for pseudo-Boolean and linear integer 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

Borchers, David, Nightingale, Peter orcid.org/0000-0002-5052-8634, Stevenson, Ben et al. (1 more author) (2022) A latent capture history model for digital aerial surveys. Biometrics (Journal of the International Biometric Society). pp. 274-285. ISSN 1541-0420

Bofill, Miquel, Coll, Jordi, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (3 more authors) (2022) SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artificial Intelligence. 103604. ISSN 0004-3702

Nightingale, Glenna Faith, Illian, Janine, King, Ruth et al. (1 more author) (2019) Area Interaction Point Processes for Bivariate Point Patterns in a Bayesian Context. Journal of Environmental Statistics. pp. 1-21. ISSN 1945-1296

Nightingale, Peter orcid.org/0000-0002-5052-8634, Akgün, Özgür, Gent, Ian P. et al. (3 more authors) (2017) Automatically improving constraint models in Savile Row. Artificial Intelligence. pp. 35-61. ISSN 0004-3702

Nightingale, Glenna Faith, Laland, Kevin Neville, Hoppitt, William John Edward et al. (1 more author) (2015) Bayesian spatial NBDA for diffusion data with home-base coordinates. PLoS ONE. e0130326. ISSN 1932-6203

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

Cena, Carlo, Akgün, Özgür, Kiziltan, Zeynep et al. (3 more authors) (2023) Learning When to Use Automatic Tabulation in Constraint Model Reformulation. 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. 1902-1910.

Bofill, Miquel, Coll, Jordi, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (3 more authors) (2023) SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (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. 6853-6857.

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)

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 .

Ulrich-Oltean, Felix, Nightingale, Peter orcid.org/0000-0002-5052-8634 and Walker, James Alfred orcid.org/0000-0003-2174-7173 (2022) Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. In: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). UNSPECIFIED. Leibniz International Proceedings in Informatics (LIPIcs) . LIPICS .

Davidson, Ewan, Akgün, Özgür, Espasa, Joan et al. (1 more author) (2020) Effective Encodings of Constraint Programming Models to SMT. In: Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 143-159.

Ansótegui, Carlos, Bofill, Miquel, Coll, Jordi et al. (7 more authors) (2019) Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. In: Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. UNSPECIFIED. Springer , pp. 20-36.

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, Spracklen, Patrick and Miguel, Ian James (2015) Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row. In: Pesant, Gilles, (ed.) Principles and Practice of Constraint Programming:21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , Netherlands , pp. 330-340.

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.