An Adaptive Prefix-Assignment Technique for Symmetry Reduction.

Tommi A. Junttila, Matti Karppa, Petteri Kaski, Jukka Kohonen

Browse the full SAT paper archive.