一般双対化問題における冗長節生成の抑制法とその評価

資料詳細

要約等：: <p>近年，単調双対化問題に対するさまざまな効率的手法が提案されている．しかし，否定記号を含む一般のブール関数の場合，これらの手法は導出節などの冗長な節を生成する可能性がある．本稿では，この冗長節の生成を単調双対化計算のなかであらかじめ抑止する技法を提案する．また計算実験によってランダムに生成した問...

全国の図書館の所蔵

国立国会図書館サーチが連携している各図書館等から取得した所蔵情報を表示します。

所蔵館、利用可否等の詳細・最新状況は情報提供元の各館のサイト・データベースで直接ご確認ください。所蔵館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください。詳細はヘルプをご覧ください。

その他

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。