Solving difficult SAT instances in the presence of symmetry.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Browse the full DAC paper archive.