6 citations · 8 across the 2 of their papers we have counts for
3 papers
cs.DM2022★ 2 cited
The aperiodic Domino problem in higher dimension
Antonin Callard, Benjamin Hellouin de Menibus
The classical Domino problem asks whether there exists a tiling in which none of the forbidden patterns given as input appear. In this paper, we consider the aperiodic version of t…
cs.CC2022
The Ideal Membership Problem and Abelian Groups
Andrei A. Bulatov, Akbar Rafiey
Given polynomials the Ideal Membership Problem, IMP for short, asks if belongs to the ideal generated by . In the search version of this prob…
cs.CC2021★ 6 cited
Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
Libor Barto, Zarathustra Brady, Andrei Bulatov +2
This paper focuses on the algebraic theory underlying the study of the complexity and the algorithms for the Constraint Satisfaction Problem (CSP). We unify, simplify, and extend p…