collaborators

1 paper

cs.CC2026

From Block Orthogonality to Decidability in Complex-Weighted Counting CSP

Chenghua Liu, Boning Meng

In a landmark JACM paper recognized with the 2021 G{ö}del Prize, Cai and Chen established a complete complexity dichotomy for counting CSPs over arbitrary finite domains with algeb…