Information Measures in Detecting and Recognizing Symmetries
<|reference_start|>Information Measures in Detecting and Recognizing Symmetries: This paper presents a method to detect and recognize symmetries in Boolean functions. The idea is to use information theoretic measures of Boolean functions to detect sub-space of possible symmetric variables. Coupled with the new techniques of efficient estimations of information measures on Binary Decision Diagrams (BDDs) we obtain promised results in symmetries detection for large-scale functions.<|reference_end|>
@article{popel2002information,
    title={Information Measures in Detecting and Recognizing Symmetries},
    author={Denis V. Popel},
    journal={MWSCAS 2002},
    year={2002},
    archivePrefix={arXiv},
    eprint={cs/0207019},
    primaryClass={cs.OH}
}