プール制約評価アルゴリズム : 漸増型変数除去法 (<特集>制約論理プログラミング)

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人日本ソフトウェア科学会の論文
• 1992-11-16

著者

• 毛受 哲

  (財)新世代コンピュータ技術開発機構

関連論文

• プール制約評価アルゴリズム : 漸増型変数除去法 (制約論理プログラミング)
• Boolean Reasoning, Frank Markham Brown, Kluwer Academic Publishers, 1990

スポンサーリンク