BDD/ZDDを用いたペントミノパズルの解の列挙
BDD/ZDDを用いたペントミノパズルの解の列挙
复制标题
使用 BDD/ZDD 枚举五联拼图的解决方案
DOI:
--
复制
发表时间:
2009
期刊:
影响因子:
--
通讯作者:
鈴木拡,湊真一
中科院分区:
文献类型:
--
作者:
W. Matsubara;K. Kusano;H. Bannai;A. Ishino;A. Shinohara;鈴木拡,湊真一