Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
From MaRDI portal
Publication:6483555
DOI10.1007/3-540-46135-3_21WikidataQ56389121 ScholiaQ56389121MaRDI QIDQ6483555
Phokion G. Kolaitis, Victor Dalmau, Moshe Y. Vardi
Publication date: 8 April 2011
Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Logic programming (68N17) Computational aspects of satisfiability (68R07)
This page was built for publication: Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
