2次元のGUIアプリケーションを作成する際，x座標とy座標に関する2個の
制約が組になっていることが多い．このような場合に，組となっている制約は
同時に満たされることが望ましいことがある．すなわち，それらの制約を
``AND''で結合した連言をサポートすることが要求される．しかし，昨年度版
のHiRise 制約解消系では，制約の連言
に関する機能を提供していなかったため，アプリ
ケーションによっては好ましくない振舞いが得られる可能性があった．
一般には，連言を導入することで，組合せ問題的な性質が入り込むため，従来 のHiRise 制約解消系の効率を保つことは困難となる．しかし，HiRise は 2次元GUIをその主な応用対象としているため，2つの制約の連言をサポートし ていれば，実用上十分であることが多い．本研究では，このような制限のもと で，効率的に連言を扱うアルゴリズムの実現を目標とした．