Items where authors include "Spracklen, Patrick"

Article

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

Proceedings Paper

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.

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.