@inproceedings{weko_152849_1, author = "松浦,昭洋", title = "A-25 k-CNF式に対するInclusion-Exclusion公式における非充足解数計算手法(離散アルゴリズム(2),A.アルゴリズム・基礎)", booktitle = "情報科学技術フォーラム一般講演論文集", year = "2002", volume = "2002", number = "1", pages = "49--50", month = "sep" }