Takayuki Sato Kazuyuki Amano Eiji Takimoto Akira Maruoka Monotone DNF Formula That Has a Minimal or Maximal Number of Satisfying Assignments. 191-203 2008 COCOON http://dx.doi.org/10.1007/978-3-540-69733-6_20 conf/cocoon/2008 db/conf/cocoon/cocoon2008.html#SatoATM08