3.階層制約の並列評価 制約階層 制約に様々な強さを導入 生成型の問題において重要な働きを持つ 特徴 階層制約を、GDCCのブロック機構を用いて並列に評価する。 まずブロック機構を用いて、どのようにして階層糊約を評価するかを示し、 次いでマルチPSI上での並列実行による効率向上を示す。 システム構成