@inproceedings{Darga_2004,
doi = {10.1145/996566.996712},
url = {https://doi.org/10.1145%2F996566.996712},
year = {2004},
month = {jun},
publisher = {{ACM}},
author = {Paul T. Darga and Mark H. Liffiton and Karem A. Sakallah and Igor L. Markov},
title = {Exploiting structure in symmetry detection for {CNF}},
booktitle = {Proceedings of the 41st annual Design Automation Conference}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A