Automatic symmetry breaking method combined with (0)

by J Zhang
Venue:SAT, Proc.ACMSymp.on Applied Computing