著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) ,充足可能性問題の0-1整数計画問題への定式化と計算効率,全国大会講演論文集,,情報処理学会,1992-02-24,第44回,人工知能及び認知科学,13-14,https://cir.nii.ac.jp/crid/1050574047077285120,