Publication:4583809
From MaRDI portal
zbMath1394.08009arXiv1210.3344MaRDI QIDQ4583809
Andrei A. Bulatov, Amir Hedayaty
Publication date: 3 September 2018
Full work available at URL: https://arxiv.org/abs/1210.3344
68Q25: Analysis of algorithms and problem complexity
08A70: Applications of universal algebra in computer science
08A40: Operations and polynomials in algebraic structures, primal algebras
06A15: Galois correspondences, closure operators (in relation to ordered sets)
Related Items
Unnamed Item, Quantified Constraints in Twenty Seventeen, Constraint Satisfaction with Counting Quantifiers, Quantitative Logic Reasoning