@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00128774,
 book = {全国大会講演論文集},
 issue = {ソフトウェア},
 month = {Sep},
 note = {並列制約論理型言語PARCSは大規模並列計算機上での実装に向いた宣言的な言語であり、優先度に基づく並列実行制御、整数有限領域上の制約解消と枝刈り、暗黙のOR並列実行などの特徴を持つ。PARCSの枝刈り機構はある探索枝から将来分岐する枝の数を劇的に減らすことができる一方で、ある探索枝での結果が他の枝の探索の実行に大きな影響を及ぼす並列のα-β剪定や分枝限定法などのアルゴリズムにおける枝刈りはこれまで記述できなかった。本研究ではこのような最適化のためのアルゴリズムを記述するために優先度の制御と枝刈りの新しい枠組を提案する。},
 pages = {77--78},
 publisher = {情報処理学会},
 title = {最適化問題への応用のための並列制約論理型言語の拡張},
 volume = {第51回},
 year = {1995}
}