Jump to main content

yr 〜
yr

Search results 6

大域的な解空間の探索を可能とする力学系による制約充足問題の解法

大域的な解空間の探索を可能とする力学系による制約充足問題の解法
Paper図書
永松正博, 九州工業大学 [著][永松正博]2002-2003<Y151-H14580383>
National Diet Library
  • Subject Heading充足可能性問題 / 制約充足問題 / ニューラルネットワーク / Lagr...

実世界組み合わせ問題に対する実行可能近似解の高速探求

実世界組み合わせ問題に対する実行可能近似解の高速探求
Paper図書
岩間, 一雄, 京都大学1998-2000<Y151-H10558044>
National Diet Library
  • Subject Heading実世界問題 最適化問題 充足可能性問題 MAX SAT 局所探索法 ベクトル計算機 PVM 並列計...

組合せ問題におけるラグランジユの方法による解空間の探索に関する研究

組合せ問題におけるラグランジユの方法による解空間の探索に関する研究
Paper図書
永松, 正博, 九州工業大学1999-2000<Y151-H11680363>
National Diet Library
  • Subject Heading命題論理 充足可能性問題 ニユーラルネツトワーク 探索 タブ探索 ラグランジユの方法...

高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法

高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法
Paper図書
岩間, 一雄, 京都大学1997-1999<Y151-H09480055>
National Diet Library
  • Subject Heading実世界問題 充足可能性問題 部分MAXSAT 最適化問題 学生配属問題 局所探索アルゴ...

各種属性を制御可能なランダムテスト例題生成技術の研究

各種属性を制御可能なランダムテスト例題生成技術の研究
Paper図書
岩間, 一雄, 九州大学1995-1996<Y151-H07458061>
National Diet Library
  • Subject Heading充足可能性問題 充足解数の制御 局所探索法 重みつけ法 定理自動証明 単読...

工学的評価基準による離散アルゴリズムの高品質化に関する研究

工学的評価基準による離散アルゴリズムの高品質化に関する研究
Digital文書・図像類
岩間, 一雄京都大学2004-04
Available onlineOther Libraries in Japan
  • Subject Heading...題 ネットワークルーティング 充足可能性問題 計算量理論 離散最適化 離散アルゴリズム 平均的競合比 伸...

Reached to the end of result.

RSS