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

Author(s)

Bibliographic Information

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

岩間一雄研究代表

[岩間一雄], 1999

Other Title

平成9年度-平成11年度科学研究費補助金基盤研究(B)(2)研究成果報告書

Title Transcription

コウソク SAT アルゴリズム オ リヨウ シタ ジッセカイ クミアワセ モンダイ ノ トウイツテキ カイホウ

Available at  / 1 libraries

Search this Book/Journal

Details

  • NCID
    BA58339417
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    und
  • Place of Publication
    [京都]
  • Pages/Volumes
    1冊
  • Size
    30cm
Page Top