伊戈尔·齐诺维克;丹尼尔·克罗宁;尤里·切比里亚克 使用SAT解算器通过穷举搜索计算二进制组合格雷码。 (英语) Zbl 1328.94095号 IEEE传输。Inf.理论 54,第4期,1819-1823(2008). 引用于7文件 MSC公司: 94B25型 组合码 2015年1月5日 精确枚举问题,生成函数 PDF格式BibTeX公司 XML格式引用 \textit{I.Zinovik}等人,IEEE Trans。Inf.Theory 54,No.4,1819--1823(2008;Zbl 1328.94095) 全文: 内政部