Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Solving difficult SAT instances in the presence of symmetry
DAC, 2002.
@inproceedings{DAC-2002-AloulRMS, author = "Fadi A. Aloul and Arathi Ramani and Igor L. Markov and Karem A. Sakallah", booktitle = "{Proceedings of the 39th Design Automation Conference}", doi = "10.1145/513918.514102", isbn = "1-58113-461-4", pages = "731--736", publisher = "{ACM}", title = "{Solving difficult SAT instances in the presence of symmetry}", year = 2002, }