K-disjointness paradigm with application to symmetry detection for incompletely specified functions | IEEE Conference Publication | IEEE Xplore