Work

Exploiting structure in symmetry detection for CNF

Year: 2004

Type: conference-paper

Source: Proceedings - ACM IEEE Design Automation Conference

DOI: 10.1145/996566.996712

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

Institution: University of Michigan

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

OpenAlex ID: W2027876313

FWCI: 6.835

Cites: 16

Cited by: 158

Related to: 10