Daniel Kane, Osamu Watanabe: A Short Implicant of a CNF Formula with Many Satisfying Assignments. Algorithmica 76(4): 1203-1223 (2016)