大木, 優, 大平, 栄二, 新庄, 広, 阿部, 正博, 土岐, 尚子, 磯川, 澄江, 川口, 俊治
全国大会講演論文集
第45回
(人工知能及び認知科学),
113-114,
1992-09-28
...本報告では,複数の制約ソルバーを統合した不等式制約ソルバーconsort(Constraint solver non linear inequalities)の機能と実現方式について述べる.Consonは,以下の機能を持つ.(1)複数の制約ソルバーの結合とそれらの制約ソルバー間での情報交換機能.区間法による制約ソルバーおよびシンプレックス法による制約ソルバー,グレプナーベースによる制約ソルバーを結合...
情報処理学会