A-25 k-CNF式に対するInclusion-Exclusion公式における非充足解数計算手法(離散アルゴリズム(2),A.アルゴリズム・基礎)

スポンサーリンク

概要

• 論文の詳細を見る
• 2002-09-13

著者

• 松浦 昭洋

  京都大学情報学研究科

• 松浦 昭洋

  京都大学大学院 情報学研究科 通信情報システム専攻

関連論文

• A-25 k-CNF式に対するInclusion-Exclusion公式における非充足解数計算手法(離散アルゴリズム(2),A.アルゴリズム・基礎)
• k-CNF式に対するInclusion-Exclusion公式について
• 一定数の充足解を持つCNF式に対する準指数時間アルゴリズム
• SATのいくつかの部分問題の複雑さについて (計算理論とアルゴリズムの新展開)
• 2^n-α個の決定性状態を要するn状態NFAの族について

スポンサーリンク