Surinx, Dimitri; van den Bussche, Jan; van Gucht, Dirk A framework for comparing query languages in their ability to express Boolean queries. (English) Zbl 1451.68090 Ann. Math. Artif. Intell. 87, No. 1-2, 157-184 (2019). MSC: 68P15 PDFBibTeX XMLCite \textit{D. Surinx} et al., Ann. Math. Artif. Intell. 87, No. 1--2, 157--184 (2019; Zbl 1451.68090) Full Text: DOI
Dalmau, Víctor A new tractable class of constraint satisfaction problems. (English) Zbl 1075.68082 Ann. Math. Artif. Intell. 44, No. 1-2, 61-85 (2005). MSC: 68T20 03B05 68T15 PDFBibTeX XMLCite \textit{V. Dalmau}, Ann. Math. Artif. Intell. 44, No. 1--2, 61--85 (2005; Zbl 1075.68082) Full Text: DOI
Szeider, Stefan Generalizations of matched CNF formulas. (English) Zbl 1099.68044 Ann. Math. Artif. Intell. 43, No. 1-4, 223-238 (2005). MSC: 68Q25 68R10 68T20 PDFBibTeX XMLCite \textit{S. Szeider}, Ann. Math. Artif. Intell. 43, No. 1--4, 223--238 (2005; Zbl 1099.68044) Full Text: DOI
Kleine Büning, Hans; Xu, Daoyun The complexity of homomorphisms and renamings for minimal unsatisfiable formulas. (English) Zbl 1099.68040 Ann. Math. Artif. Intell. 43, No. 1-4, 113-127 (2005). MSC: 68Q25 68T20 PDFBibTeX XMLCite \textit{H. Kleine Büning} and \textit{D. Xu}, Ann. Math. Artif. Intell. 43, No. 1--4, 113--127 (2005; Zbl 1099.68040) Full Text: DOI