Search results 2
Paper図書
National Diet Library
- Subject HeadingMAX SAT (最大充足化問題) 離散アルゴリズム 近似アルゴリズム 配...
Paper図書
National Diet Library
- Subject Heading実世界問題 最適化問題 充足可能性問題 MAX SAT 局所探索法 ベクトル計算機 PVM 並列計算
Reached to the end of result.
Reached to the end of result.