使用SAT解算器通过穷尽搜索计算二进制组合格雷码| IEEE期刊和杂志| IEEE Xplore