Exploiting structure in symmetry detection for CNF

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

Research output: Journal ArticleConference articlepeer-review

Original languageEnglish
Pages (from-to)530-534
Number of pages5
JournalProceedings - Design Automation Conference
StatePublished - 2004
Externally publishedYes
EventProceedings of the 41st Design Automation Conference - San Diego, CA, United States
Duration: Jun 7 2004Jun 11 2004

ASJC Scopus Subject Areas

  • Hardware and Architecture
  • Control and Systems Engineering


  • Abstract algebra
  • Backtrack search
  • Boolean satisfiability (SAT)
  • Graph automorphism
  • Partition refinement
  • Symmetry

Cite this