判定平方布尔函数的计数算法
丁左流
AN ALGORITHM FOR DECIDING QUADRATIC BOOLEAN FUNCTIONS BY COUNTING
DING ZUOLIU
应用科学学报 . 1996, (1): 35 -40 .