Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 9.

Article

Nightingale, Peter orcid.org/0000-0002-5052-8634 (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

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 Verlag , pp. 356-365.

This list was generated on Sun Dec 15 15:06:29 2019 GMT.