Petr Savický Complexity and Probability of some Boolean Formulas Electronic Colloquium on Computational Complexity (ECCC) 1997 57 4 db/journals/eccc/eccc4.html#ECCC-TR97-057 http://eccc.hpi-web.de/eccc-reports/1997/TR97-057/index.html