2 papers
cs.LO2025
Modular Counting over 3-Element and Conservative Domains
Andrei A. Bulatov, Amirhossein Kazeminia
In the Constraint Satisfaction Problem (CSP for short) the goal is to decide the existence of a homomorphism from a given relational structure to a given relational structure $…
cs.CC2025
Modular Counting CSP: Reductions and Algorithms
Amirhossein Kazeminia, Andrei A. Bulatov
The Constraint Satisfaction Problem (CSP) is ubiquitous in various areas of mathematics and computer science. Many of its variations have been studied including the Counting CSP, w…