文献

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)

タイトルに関連する用語 (1件)： 充足