永松正博, 九州工業大学 [著][永松正博]2002-2003<Y151-H14580383>
国立国会図書館
- 件名充足可能性問題 / 制約充足問題 / ニューラルネットワーク / Lagr...
岩間, 一雄, 京都大学1998-2000<Y151-H10558044>
国立国会図書館
- 件名実世界問題 最適化問題 充足可能性問題 MAX SAT 局所探索法 ベクトル計算機 PVM 並列計...
永松, 正博, 九州工業大学1999-2000<Y151-H11680363>
国立国会図書館
- 件名命題論理 充足可能性問題 ニユーラルネツトワーク 探索 タブ探索 ラグランジユの方法...
岩間, 一雄, 京都大学1997-1999<Y151-H09480055>
国立国会図書館
- 件名実世界問題 充足可能性問題 部分MAXSAT 最適化問題 学生配属問題 局所探索アルゴ...
岩間, 一雄, 九州大学1995-1996<Y151-H07458061>
国立国会図書館
- 件名充足可能性問題 充足解数の制御 局所探索法 重みつけ法 定理自動証明 単読...
岩間, 一雄京都大学2004-04
インターネットで読める全国の図書館
- 件名...題 ネットワークルーティング 充足可能性問題 計算量理論 離散最適化 離散アルゴリズム 平均的競合比 伸...