E cient Representations of Boolean Functions: The View from Knowledge Compilation

• 資料種別: 文書・図像類
• タイトル: E cient Representations of Boolean Functions: The View from Knowledge Compilation
• 著者・編者: Darwiche, Adnan
• 著者標目: Darwiche, Adnan
• 出版事項: ERATO湊離散構造処理系プロジェクト
• 出版年月日等: 2011-06
• 出版年（W3CDTF）: 2011-06
• ISSN（掲載誌）: PISSN : 2186-1846
• 本文の言語コード: eng
• NDC: 007
• 対象利用者: 一般
• イベントの日付、場所: ERATOセミナ ; 2010
• 一般注記: ERATOセミナ2010 : No.27. 2010年11月15日
• 記録形式（IMT）: application/pdf
• 一次資料へのリンクURL: 27_all.pdf （fulltext）; https://eprints.lib.hokudai.ac.jp/dspace/bitstream/2115/48458/1/27_all.pdf
• オンライン閲覧公開範囲: インターネット公開
• 掲載誌: 2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.186-187.
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 北海道大学 : 北海道大学学術成果コレクション

• 要約等: We provide an overview of the area of knowledge compilation, which is concerned with the systematic study of e cient representations of propositional ...