Ulrich-Oltean, Felix; Nightingale, Peter; Walker, James Alfred Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints. (English) Zbl 07805094 Constraints 28, No. 3, 397-426 (2023). MSC: 65K10 68T05 90C05 PDFBibTeX XMLCite \textit{F. Ulrich-Oltean} et al., Constraints 28, No. 3, 397--426 (2023; Zbl 07805094) Full Text: DOI arXiv OA License
Borchers, David L.; Nightingale, Peter; Stevenson, Ben C.; Fewster, Rachel M. A latent capture history model for digital aerial surveys. (English) Zbl 1520.62139 Biometrics 78, No. 1, 274-285 (2022). MSC: 62P10 PDFBibTeX XMLCite \textit{D. L. Borchers} et al., Biometrics 78, No. 1, 274--285 (2022; Zbl 1520.62139) Full Text: DOI
Akgün, Özgür; Frisch, Alan M.; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Nightingale, Peter Conjure: automatic generation of constraint models from problem specifications. (English) Zbl 07570882 Artif. Intell. 310, Article ID 103751, 27 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{Ö. Akgün} et al., Artif. Intell. 310, Article ID 103751, 27 p. (2022; Zbl 07570882) Full Text: DOI
Bofill, Miquel; Coll, Jordi; Nightingale, Peter; Suy, Josep; Ulrich-Oltean, Felix; Villaret, Mateu SAT encodings for pseudo-Boolean constraints together with at-most-one constraints. (English) Zbl 1478.68201 Artif. Intell. 302, Article ID 103604, 32 p. (2022). MSC: 68R07 PDFBibTeX XMLCite \textit{M. Bofill} et al., Artif. Intell. 302, Article ID 103604, 32 p. (2022; Zbl 1478.68201) Full Text: DOI arXiv
Gent, Ian P.; Miguel, Ian; Nightingale, Peter; McCreesh, Ciaran; Prosser, Patrick; Moore, Neil C. A.; Unsworth, Chris A review of literature on parallel constraint solving. (English) Zbl 1452.68177 Theory Pract. Log. Program. 18, No. 5-6, 725-758 (2018). MSC: 68T20 68W10 PDFBibTeX XMLCite \textit{I. P. Gent} et al., Theory Pract. Log. Program. 18, No. 5--6, 725--758 (2018; Zbl 1452.68177) Full Text: DOI arXiv
Nightingale, Peter; Akgün, Özgür; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Spracklen, Patrick Automatically improving constraint models in Savile Row. (English) Zbl 1419.68099 Artif. Intell. 251, 35-61 (2017). MSC: 68T20 PDFBibTeX XMLCite \textit{P. Nightingale} et al., Artif. Intell. 251, 35--61 (2017; Zbl 1419.68099) Full Text: DOI Link
Caldwell, James; Gent, Ian P.; Nightingale, Peter Generalized support and formal development of constraint propagators. (English) Zbl 1420.68193 AI Commun. 30, No. 5, 325-346 (2017). MSC: 68T20 PDFBibTeX XMLCite \textit{J. Caldwell} et al., AI Commun. 30, No. 5, 325--346 (2017; Zbl 1420.68193) Full Text: DOI arXiv
Gent, Ian P.; Jefferson, Christopher; Nightingale, Peter Complexity of \(n\)-queens completion. (English) Zbl 1418.68099 J. Artif. Intell. Res. (JAIR) 59, 815-848 (2017). MSC: 68Q17 05B30 68T20 PDFBibTeX XMLCite \textit{I. P. Gent} et al., J. Artif. Intell. Res. (JAIR) 59, 815--848 (2017; Zbl 1418.68099) Full Text: DOI
Gent, Ian; Kitaev, Sergey; Konovalov, Alexander; Linton, Steve; Nightingale, Peter \(S\)-crucial and bicrucial permutations with respect to squares. (English) Zbl 1327.05005 J. Integer Seq. 18, No. 6, Article 15.6.5, 22 p. (2015). MSC: 05A05 68R15 PDFBibTeX XMLCite \textit{I. Gent} et al., J. Integer Seq. 18, No. 6, Article 15.6.5, 22 p. (2015; Zbl 1327.05005) Full Text: arXiv EMIS
Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter Generating custom propagators for arbitrary constraints. (English) Zbl 1405.68326 Artif. Intell. 211, 1-33 (2014). MSC: 68T20 PDFBibTeX XMLCite \textit{I. P. Gent} et al., Artif. Intell. 211, 1--33 (2014; Zbl 1405.68326) Full Text: DOI
Nightingale, Peter; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian Short and long supports for constraint propagation. (English) Zbl 1261.68110 J. Artif. Intell. Res. (JAIR) 46, 1-45 (2013). MSC: 68T20 68W40 PDFBibTeX XMLCite \textit{P. Nightingale} et al., J. Artif. Intell. Res. (JAIR) 46, 1--45 (2013; Zbl 1261.68110) Full Text: DOI arXiv
Kelsey, Thomas W.; Kotthoff, Lars; Jefferson, Christoffer A.; Linton, Stephen A.; Miguel, Ian; Nightingale, Peter; Gent, Ian P. Qualitative Modelling via Constraint Programming: Past, Present and Future. arXiv:1209.3916 Preprint, arXiv:1209.3916 [cs.CE] (2012). BibTeX Cite \textit{T. W. Kelsey} et al., ``Qualitative Modelling via Constraint Programming: Past, Present and Future'', Preprint, arXiv:1209.3916 [cs.CE] (2012) Full Text: arXiv OA License
Nightingale, Peter The extended global cardinality constraint: an empirical survey. (English) Zbl 1216.68250 Artif. Intell. 175, No. 2, 586-614 (2011). MSC: 68T20 90C59 PDFBibTeX XMLCite \textit{P. Nightingale}, Artif. Intell. 175, No. 2, 586--614 (2011; Zbl 1216.68250) Full Text: DOI
Jefferson, Christopher; Moore, Neil C. A.; Nightingale, Peter; Petrie, Karen E. Implementing logical connectives in constraint programming. (English) Zbl 1210.68103 Artif. Intell. 174, No. 16-17, 1407-1429 (2010). MSC: 68T20 PDFBibTeX XMLCite \textit{C. Jefferson} et al., Artif. Intell. 174, No. 16--17, 1407--1429 (2010; Zbl 1210.68103) Full Text: DOI
Nightingale, Peter Non-binary quantified CSP: Algorithms and modelling. (English) Zbl 1186.68441 Constraints 14, No. 4, 539-581 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{P. Nightingale}, Constraints 14, No. 4, 539--581 (2009; Zbl 1186.68441) Full Text: DOI
Gent, Ian P.; Miguel, Ian; Nightingale, Peter Generalised arc consistency for the AllDifferent constraint: an empirical survey. (English) Zbl 1184.68472 Artif. Intell. 172, No. 18, 1973-2000 (2008). MSC: 68T20 PDFBibTeX XMLCite \textit{I. P. Gent} et al., Artif. Intell. 172, No. 18, 1973--2000 (2008; Zbl 1184.68472) Full Text: DOI
Gent, Ian P.; Nightingale, Peter; Rowley, Andrew; Stergiou, Kostas Solving quantified constraint satisfaction problems. (English) Zbl 1182.68241 Artif. Intell. 172, No. 6-7, 738-771 (2008). MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{I. P. Gent} et al., Artif. Intell. 172, No. 6--7, 738--771 (2008; Zbl 1182.68241) Full Text: DOI
Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Inês; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; Tarim, S. Armagan Search in the patience game ‘Black Hole’. (English) Zbl 1151.90525 AI Commun. 20, No. 3, 211-226 (2007). MSC: 90C27 68T01 PDFBibTeX XMLCite \textit{I. P. Gent} et al., AI Commun. 20, No. 3, 211--226 (2007; Zbl 1151.90525)
Nightingale, Peter Consistency for quantified constraint satisfaction problems. (English) Zbl 1153.68471 van Beek, Peter (ed.), Principles and practice of constraint programming – CP 2005. 11th international conference, CP 2005, Sitges, Spain, October 1–5, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-29238-8/pbk). Lecture Notes in Computer Science 3709, 792-796 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{P. Nightingale}, Lect. Notes Comput. Sci. 3709, 792--796 (2005; Zbl 1153.68471) Full Text: DOI
Frisch, Alan M.; Peugniez, Timothy J.; Doggett, Anthony J.; Nightingale, Peter W. Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings. (English) Zbl 1109.68109 J. Autom. Reasoning 35, No. 1-3, 143-179 (2005). MSC: 68T27 68P10 68T20 PDFBibTeX XMLCite \textit{A. M. Frisch} et al., J. Autom. Reasoning 35, No. 1--3, 143--179 (2005; Zbl 1109.68109) Full Text: DOI