Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita. Automatic partitioning for efficient combinatorial verification. In Proceedings of ASP-DAC 2000, Asia and South Pacific Design Automation Conference 2000, Yokohama, Japan. pages 67-72, ACM, 2000. [doi]
@inproceedings{MukherjeeJTF00, title = {Automatic partitioning for efficient combinatorial verification}, author = {Rajarshi Mukherjee and Jawahar Jain and Koichiro Takayama and Masahiro Fujita}, year = {2000}, doi = {10.1145/368434.368521}, url = {http://doi.acm.org/10.1145/368434.368521}, tags = {partitioning}, researchr = {https://researchr.org/publication/MukherjeeJTF00}, cites = {0}, citedby = {0}, pages = {67-72}, booktitle = {Proceedings of ASP-DAC 2000, Asia and South Pacific Design Automation Conference 2000, Yokohama, Japan}, publisher = {ACM}, isbn = {0-7803-5974-7}, }