SO Chan, HT Ng, S Peng - Proceedings of the 56th Annual ACM …, 2024 - dl.acm.org
Relaxations for the constraint satisfaction problem (CSP) include bounded width, linear
program (LP), semidefinite program (SDP), affine integer program (AIP), and the combined …