実世界問題;最適化問題;充足可能性問題;局所探索法;並列;分散;PVM;大規模クラスタ;時間割作成;http通信;MAX SAT;ベクトル計算機;並列計算;学生配属問題;安定結婚問題;同順位リスト;不完全リスト;NP完全性;NP困難性, real world problem;optimization problem;CNF Satisfiability;local search algorithm;parallelization;PVM;cluster;time scheduling problem