Cooper, Martin C.; Zivny, Stanislav Hybrid tractable classes of constraint problems. (English) Zbl 1482.68107 Krokhin, Andrei (ed.) et al., The constraint satisfaction problem: complexity and approximability, Dagstuhl seminar 15301, July 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. Dagstuhl Follow-Ups 7, 113-135 (2017). MSC: 68Q25 68R05 90C27 PDFBibTeX XMLCite \textit{M. C. Cooper} and \textit{S. Zivny}, Dagstuhl Follow-Ups 7, 113--135 (2017; Zbl 1482.68107) Full Text: DOI
Carbonnel, Clément; Cooper, Martin C. Tractability in constraint satisfaction problems: a survey. (English) Zbl 1334.90220 Constraints 21, No. 2, 115-144 (2016). MSC: 90C60 90C30 PDFBibTeX XMLCite \textit{C. Carbonnel} and \textit{M. C. Cooper}, Constraints 21, No. 2, 115--144 (2016; Zbl 1334.90220) Full Text: DOI Link
Barták, Roman; Čepek, Ondřej; Surynek, Pavel Discovering implied constraints in precedence graphs with alternatives. (English) Zbl 1202.90122 Ann. Oper. Res. 180, 233-263 (2010). MSC: 90B35 90B10 PDFBibTeX XMLCite \textit{R. Barták} et al., Ann. Oper. Res. 180, 233--263 (2010; Zbl 1202.90122) Full Text: DOI
Cooper, Martin C.; Jeavons, Peter G.; Salamon, András Z. Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination. (English) Zbl 1205.68372 Artif. Intell. 174, No. 9-10, 570-584 (2010). MSC: 68T20 PDFBibTeX XMLCite \textit{M. C. Cooper} et al., Artif. Intell. 174, No. 9--10, 570--584 (2010; Zbl 1205.68372) Full Text: DOI
Kolaitis, Phokion G.; Vardi, Moshe Y. A logical approach to constraint satisfaction. (English) Zbl 1171.03322 Creignou, Nadia (ed.) et al., Complexity of constraints. An overview of current research themes. Berlin: Springer (ISBN 978-3-540-92799-0/pbk). Lecture Notes in Computer Science 5250, 125-155 (2008). MSC: 03B70 68Q25 68P15 68T20 PDFBibTeX XMLCite \textit{P. G. Kolaitis} and \textit{M. Y. Vardi}, Lect. Notes Comput. Sci. 5250, 125--155 (2008; Zbl 1171.03322) Full Text: DOI
Kautz, Henry; Selman, Bart The state of SAT. (English) Zbl 1121.68108 Discrete Appl. Math. 155, No. 12, 1514-1524 (2007). MSC: 68T20 PDFBibTeX XMLCite \textit{H. Kautz} and \textit{B. Selman}, Discrete Appl. Math. 155, No. 12, 1514--1524 (2007; Zbl 1121.68108) Full Text: DOI
Meisels, Amnon; Kaplansky, Eliezer Iterative restart technique for solving timetabling problems. (English) Zbl 1053.90040 Eur. J. Oper. Res. 153, No. 1, 41-50 (2004). MSC: 90B35 90B40 PDFBibTeX XMLCite \textit{A. Meisels} and \textit{E. Kaplansky}, Eur. J. Oper. Res. 153, No. 1, 41--50 (2004; Zbl 1053.90040) Full Text: DOI
Jeavons, Peter; Cohen, David; Cooper, Martin C. Constraints, consistency and closure. (English) Zbl 0909.68076 Artif. Intell. 101, No. 1-2, 251-265 (1998). MSC: 68Q15 PDFBibTeX XMLCite \textit{P. Jeavons} et al., Artif. Intell. 101, No. 1--2, 251--265 (1998; Zbl 0909.68076) Full Text: DOI