Orbitopal Fixing in SAT.

Markus Anders, Cayden R. Codel, Marijn J. H. Heule

Browse the full TACAS paper archive.