Art

J-GLOBAL ID：200902272977218030   Reference number：08A0845347

Monotone DNF Formula That Has a Minimal or Maximal Number of Satisfying Assignments

充足代入の最小または最大数を持つ単調DNF公式

Author (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.)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 5092  Page： 191-203  Publication year： 2008 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (1)： 充足