基本対称関数に基づく節をもつCNF論理式の充足可能性判定

• 馬野 洋平

  名古屋大学

• 酒井 正彦

  名古屋大学

• 西田 直樹

  名古屋大学

• 坂部 俊樹

  名古屋大学

• 草刈 圭一朗

  名古屋大学

収録刊行物

• 情報・システムソサイエティ誌

  情報・システムソサイエティ誌 16 (4), 21-21, 2012

  一般社団法人電子情報通信学会

詳細情報

• CRID: 1390001205765805952
• NII論文ID: 130005433540
• DOI: 10.1587/ieiceissjournal.16.4_21
• ISSN: 21899819
• ISSN: 21899797
• Web Site: https://www.jstage.jst.go.jp/article/ieiceissjournal/16/4/16_21/_pdf
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • Crossref
  • CiNii Articles