Hnich, Brahim; Prestwich, Steven D.; Selensky, Evgeny; Smith, Barbara M. Constraint models for the covering test problem. (English) Zbl 1103.68810 Constraints 11, No. 2-3, 199-219 (2006). MSC: 68T20 PDFBibTeX XMLCite \textit{B. Hnich} et al., Constraints 11, No. 2--3, 199--219 (2006; Zbl 1103.68810) Full Text: DOI
Hnich, Brahim; Smith, Barbara M.; Walsh, Toby Dual modelling of permutation and injection problems. (English) Zbl 1080.68667 J. Artif. Intell. Res. (JAIR) 21, 357-391 (2004). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{B. Hnich} et al., J. Artif. Intell. Res. (JAIR) 21, 357--391 (2004; Zbl 1080.68667) Full Text: arXiv