Exploiting Isomorphic Subgraphs in SAT.

Alexander Ivrii, Ofer Strichman

Browse the full FMCAD paper archive.