図書

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

Icons representing 図書

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

Call No. (NDL)
Y151-H09480055
Bibliographic ID of National Diet Library
000007056330
Material type
図書
Author
岩間, 一雄, 京都大学
Publisher
-
Publication date
1997-1999
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
コウソク SAT アルゴリズム オ リヨウ シタ ジツ セカイ クミアワセ モンダイ ノ トウイツテキカイホウ
Author/Editor
岩間, 一雄, 京都大学
Author Heading
著者 : 岩間, 一雄, 1951- イワマ, カズオ, 1951- ( 00846999 )Authorities
Publication Date
1997-1999
Publication Date (W3CDTF)
1997
Extent
Additional Title
研究種目 基盤研究(B)
Subject Heading
実世界問題 ジツセカイモンダイ
充足可能性問題 ジユウソクカノウセイモンダイ
部分MAXSAT ブブンMAXSAT
最適化問題 サイテキカモンダイ
学生配属問題 ガクセイハイゾクモンダイ
局所探索アルゴリズム キヨクシヨタンサクアルゴリズム
多項式時間変換 タコウシキジカンヘンカン