Symmetry Reduction in SAT-Based Model Checking.

Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip

Browse the full CAV paper archive.