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. Optimal implementation of watched literals and more general techniques. (English) Zbl 1277.68247 J. Artif. Intell. Res. (JAIR) 48, 231-251 (2013). MSC: 68T20 PDFBibTeX XMLCite \textit{I. P. Gent}, J. Artif. Intell. Res. (JAIR) 48, 231--251 (2013; Zbl 1277.68247) 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)
Gent, Ian; Giunchiglia, Enrico; Narizzano, Massimo; Rowley, Andrew; Tacchella, Armando Watched data structures for QBF solvers. (English) Zbl 1204.68195 Giunchiglia, Enrico (ed.) et al., Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. Berlin: Springer (ISBN 3-540-20851-8/pbk). Lect. Notes Comput. Sci. 2919, 25-36 (2004). MSC: 68T20 68P05 PDFBibTeX XMLCite \textit{I. Gent} et al., Lect. Notes Comput. Sci. 2919, 25--36 (2004; Zbl 1204.68195) Full Text: DOI