Return to search

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

No description available.
Identiferoai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/14972
Date01 January 2010
CreatorsKUSAKARI, Keiichirou, SAKABE, Toshiki, NISHIDA, Naoki, SAKAI, Masahiko, UMANO, Yohei, 草刈, 圭一朗, 坂部, 俊樹, 西田, 直樹, 酒井, 正彦, 馬野, 洋平
Publisher社団法人電子情報通信学会
Source SetsNagoya University
LanguageJapanese
Detected LanguageJapanese
TypeArticle(publisher)
RightsCopyright (C) 2010 IEICE

Page generated in 0.0016 seconds