Renormalization group approach to satisfiabilityS. N. CoppersmithEPL, 77 3 (2007) 30006DOI: https://doi.org/10.1209/0295-5075/77/30006
