Gilles Dequen Olivier Dubois An Efficient Approach to Solving Random <i>k</i>-satProblems. 261-276 2006 37 J. Autom. Reasoning 4 http://dx.doi.org/10.1007/s10817-006-9025-2 db/journals/jar/jar37.html#DequenD06