Generic SBDD Using Computational Group Theory.

Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton

Browse the full CP paper archive.