IEMSATアルゴリズムの実験的評価

• 山本, 雅人

• 大柳, 俊夫

• 大内, 東

書誌事項

タイトル別名

• Empirical Evaluation of IEMSAT Algorithm

抄録

命題論理式の充足可能性問題(SAT)は, 情報処理の分野における基本的な問題の一つである. 著者らは, SATに対する解法としてIEMSATを提案している. IEMSATは, 0-1整数計画問題を解くための陰的列挙法に基づいたアルゴリズムである. さらに, 著者らはIEMSATとDavis-Putnamの方法との密接な関係も明らかにしている. 本稿では, IEMSATを様々な問題に適用することでその特徴および有効性を明らかにする.

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第48回 (人工知能及び認知科学), 3-4, 1994-03-07

詳細情報

• CRID: 1050292572151942784
• NII論文ID: 110002872342
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00125554/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles