@misc{indiciae1b419af6a9b5, title = {Renormalization group approach to satisfiability}, author = {S. N. Coppersmith}, year = {2006}, url = {https://arxiv.org/abs/cond-mat/0509160}, note = {Source identifier: cond-mat/0509160} }