DocumentCode :
416299
Title :
Exploiting structure in symmetry detection for CNF
Author :
Darga, Paul T. ; Liffiton, Mark H. ; Sakallah, Karem A. ; Markov, Lgor L.
Author_Institution :
The University of Michigan
fYear :
2004
fDate :
7-11 July 2004
Firstpage :
530
Lastpage :
534
Keywords :
Abstract algebra; Boolean functions; Circuit synthesis; Computer architecture; Electronic design automation and methodology; Laboratories; Packaging; Partitioning algorithms; Permission; Space exploration;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 2004. Proceedings. 41st
Conference_Location :
San Diego, CA, USA
ISSN :
0738-100X
Print_ISBN :
1-51183-828-8
Type :
conf
Filename :
1322538
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=416299
بازگشت