Monotone DNF Formula That Has a Minimal or Maximal Number of Satisfying Assignments.
Takayuki Sato, Kazuyuki Amano, Eiji Takimoto, Akira Maruoka
Browse the full COCOON paper archive.
Takayuki Sato, Kazuyuki Amano, Eiji Takimoto, Akira Maruoka
Browse the full COCOON paper archive.