Symmetric Operations on Domains of Size at Most 4

Zarathustra Brady, Holden Mui

To convert a fractional solution to an instance of a constraint satisfaction problem into a solution, a rounding scheme is needed, which can be described by a collection of symmetr…