Exploiting structure in symmetry detection for CNF

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

doi:10.1145/996566.996712

Exploiting structure in symmetry detection for CNF

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

Research output: Journal Article › Conference article › peer-review

Original language	English
Pages (from-to)	530-534
Number of pages	5
Journal	Proceedings - Design Automation Conference
DOIs	https://doi.org/10.1145/996566.996712
State	Published - 2004
Externally published	Yes
Event	Proceedings of the 41st Design Automation Conference - San Diego, CA, United States Duration: Jun 7 2004 → Jun 11 2004

ASJC Scopus Subject Areas

Hardware and Architecture
Control and Systems Engineering

Keywords

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

Access to Document

10.1145/996566.996712

Cite this

@article{5500d4ed5719448d88701db2c61eea39,

title = "Exploiting structure in symmetry detection for CNF",

keywords = "Abstract algebra, Backtrack search, Boolean satisfiability (SAT), Graph automorphism, Partition refinement, Symmetry",

author = "Darga, {Paul T.} and Liffiton, {Mark H.} and Sakallah, {Karem A.} and Markov, {Igor L.}",

year = "2004",

doi = "10.1145/996566.996712",

language = "English",

pages = "530--534",

journal = "Proceedings - Design Automation Conference",

issn = "0738-100X",

note = "Proceedings of the 41st Design Automation Conference ; Conference date: 07-06-2004 Through 11-06-2004",

}

TY - JOUR

T1 - Exploiting structure in symmetry detection for CNF

AU - Darga, Paul T.

AU - Liffiton, Mark H.

AU - Sakallah, Karem A.

AU - Markov, Igor L.

PY - 2004

Y1 - 2004

KW - Abstract algebra

KW - Backtrack search

KW - Boolean satisfiability (SAT)

KW - Graph automorphism

KW - Partition refinement

KW - Symmetry

UR - http://www.scopus.com/inward/record.url?scp=4444225582&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=4444225582&partnerID=8YFLogxK

U2 - 10.1145/996566.996712

DO - 10.1145/996566.996712

M3 - Conference article

AN - SCOPUS:4444225582

SN - 0738-100X

SP - 530

EP - 534

JO - Proceedings - Design Automation Conference

JF - Proceedings - Design Automation Conference

T2 - Proceedings of the 41st Design Automation Conference

Y2 - 7 June 2004 through 11 June 2004

ER -

Exploiting structure in symmetry detection for CNF

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this