collaborators

1 paper

math.LO2024

Proof complexity of universal algebra in a CSP dichotomy proof

Azza Gaysin

The constraint satisfaction problem (CSP) can be formulated as a homomorphism problem between relational structures: given a structure , for any structure $\mathcal{X}…