Edward A. Hirsch A Fast Deterministic Algorithm for Formulas That Have Many Satisfying Assignments. 59-71 1998 6 Logic Journal of the IGPL 1 http://www3.oup.co.uk/igpl/Volume_06/Issue_01/#hirsch db/journals/igpl/igpl6.html#Hirsch98