Solving difficult instances of boolean satisfiability in the presence of symmetry (0)

by F A Aloul, A Ramani, I L Markov, K A Sakallah
Venue:Transactions on Computer Aided Design