Research on method of solving logic equations based on integer equations
SHEN Chunnan, MA Cunbao
Computer Engineering and Applications . 2015, (4): 71 -75 .