松浦昭洋: "k-CNF式に対するInclusion-Exclusion公式における非充足解数計算手法"情報科学技術フォーラム大会論文集. A-25. 49-50 (2002)
松浦昭洋: "k-CNF式に対するInclusion-Exclusion公式における非充足解数計算手法"情報科学技術フォーラム大会論文集. A-25. 49-50 (2002)
复制标题
Akihiro Matsuura：“k-CNF 公式的包含-排除公式中不满足解的计算方法”信息科学与技术论坛会议记录 A-25（2002 年）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
