@article{weko_13062_1,
   author	 = "望月,厚 and 元木,光雄 and 渡辺,治",
   title	 = "3充足可能性判定問題3SATの正例題生成手法の解析",
   journal	 = "情報処理学会論文誌",
   year 	 = "1998",
   volume	 = "39",
   number	 = "6",
   pages	 = "1850--1857",
   month	 = "jun"
}