Spracklen, Patrick; Nguyen Dang; Akgün, Özgür; Miguel, Ian Automated streamliner portfolios for constraint satisfaction problems. (English) Zbl 07702950 Artif. Intell. 319, Article ID 103915, 24 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{P. Spracklen} et al., Artif. Intell. 319, Article ID 103915, 24 p. (2023; Zbl 07702950) 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
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
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
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby Filtering algorithms for the multiset ordering constraint. (English) Zbl 1191.68633 Artif. Intell. 173, No. 2, 299-328 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{A. M. Frisch} et al., Artif. Intell. 173, No. 2, 299--328 (2009; Zbl 1191.68633) Full Text: DOI