幅限定回路と段数限定論理式に対する単純な#SATアルゴリズム
幅限定回路と段数限定論理式に対する単純な#SATアルゴリズム
复制标题
适用于宽度受限电路和级限逻辑公式的简单 SAT 算法
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
森住 大樹
中科院分区：
文献类型：
--
作者：
Kouji Shimohira;Shunsuke Inenaga;Hideo Bannai;and Masayuki Takeda;平井 成海,高橋 一志,大山 恵弘;森住 大樹
