Kuo-Hua Wang, Jia-Hung Chen. K-disjointness paradigm with application to symmetry detection for incompletely specified functions. In Ting-Ao Tang, editor, Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005. pages 994-997, ACM Press, 2005. [doi]
@inproceedings{WangC05:15, title = {K-disjointness paradigm with application to symmetry detection for incompletely specified functions}, author = {Kuo-Hua Wang and Jia-Hung Chen}, year = {2005}, doi = {10.1145/1120725.1120775}, url = {http://doi.acm.org/10.1145/1120725.1120775}, researchr = {https://researchr.org/publication/WangC05%3A15}, cites = {0}, citedby = {0}, pages = {994-997}, booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005}, editor = {Ting-Ao Tang}, publisher = {ACM Press}, isbn = {0-7803-8737-6}, }