Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip
Symmetry Reduction in SAT-Based Model Checking
CAV, 2005.
@inproceedings{CAV-2005-TangMGI,
author = "Daijue Tang and Sharad Malik and Aarti Gupta and C. Norris Ip",
booktitle = "{Proceedings of the 17th International Conference on Computer Aided Verification}",
doi = "10.1007/11513988_12",
isbn = "3-540-27231-3",
pages = "125--138",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Symmetry Reduction in SAT-Based Model Checking}",
volume = 3576,
year = 2005,
}