高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法
著者
書誌事項
高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法
[岩間一雄], 1999
- タイトル別名
-
平成9年度-平成11年度科学研究費補助金基盤研究(B)(2)研究成果報告書
- タイトル読み
-
コウソク SAT アルゴリズム オ リヨウ シタ ジッセカイ クミアワセ モンダイ ノ トウイツテキ カイホウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する