1. Fadi A Aloul , Arathi Ramani , Igor L Markov , and Karem A Sakallah . 2002 . Solving difficult SAT instances in the presence of symmetry . In Proceedings 2002 Design Automation Conference. 731–736 . Fadi A Aloul, Arathi Ramani, Igor L Markov, and Karem A Sakallah. 2002. Solving difficult SAT instances in the presence of symmetry. In Proceedings 2002 Design Automation Conference. 731–736.
2. Efficient symmetry breaking for Boolean satisfiability
3. Markus Anders. 2022. SAT Preprocessors and Symmetry. arXiv preprint arXiv:2205.12799(2022). Markus Anders. 2022. SAT Preprocessors and Symmetry. arXiv preprint arXiv:2205.12799(2022).
4. State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI