文献
J-GLOBAL ID:200902272977218030
整理番号:08A0845347
充足代入の最小または最大数を持つ単調DNF公式
Monotone DNF Formula That Has a Minimal or Maximal Number of Satisfying Assignments
著者 (4件):
SATO Takayuki
(Sendai National Coll. of Technol., Sendai, JPN)
,
AMANO Kazuyuki
(Gunma Univ., Gunma, JPN)
,
TAKIMOTO Eiji
(Tohoku Univ., Sendai, JPN)
,
MARUOKA Akira
(Ishinomaki Senshu Univ.)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
5092
ページ:
191-203
発行年:
2008年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)