K-disjointness paradigm with application to symmetry detection for incompletely specified functions

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},
}