%0 Conference Paper %1 conf/dac/WangC04 %A Wang, Kuo-Hua %A Chen, Jia-Hung %B DAC %D 2004 %E Malik, Sharad %E Fix, Limor %E Kahng, Andrew B. %I ACM %K dblp %P 434-437 %T Symmetry detection for incompletely specified functions. %U http://dblp.uni-trier.de/db/conf/dac/dac2004.html#WangC04 %@ 1-58113-828-8

@inproceedings{conf/dac/WangC04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Wang, Kuo-Hua and Chen, Jia-Hung}, biburl = {https://www.bibsonomy.org/bibtex/2071cb6104bc638e1907a96b747106abe/dblp}, booktitle = {DAC}, crossref = {conf/dac/2004}, editor = {Malik, Sharad and Fix, Limor and Kahng, Andrew B.}, ee = {https://doi.org/10.1145/996566.996690}, interhash = {401a8d14ce4202e20c8036ef3575d286}, intrahash = {071cb6104bc638e1907a96b747106abe}, isbn = {1-58113-828-8}, keywords = {dblp}, pages = {434-437}, publisher = {ACM}, timestamp = {2018-11-07T15:12:58.000+0100}, title = {Symmetry detection for incompletely specified functions.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2004.html#WangC04}, year = 2004 }