Exploiting structure in symmetry detection for CNF.

Paul T. Darga Mark H. Liffiton Karem A. Sakallah Igor L. Markov

Published in: DAC (2004)

Keyphrases

symmetry detection
tree structure
hierarchical structure
structural information
data sets
multiresolution
geometric structure