Youichi Hanatani Takashi Horiyama Kazuo Iwama Density condensation of Boolean formulas. 2263-2270 2006 154 Discrete Applied Mathematics 16 http://dx.doi.org/10.1016/j.dam.2006.04.014 db/journals/dam/dam154.html#HanataniHI06