Yacine Boufkhad Olivier Dubois Yannet Interian Bart Selman Regular Random <i>k</i>-SAT: Properties of Balanced Formulas. 181-200 2005 35 J. Autom. Reasoning 1-3 http://dx.doi.org/10.1007/s10817-005-9012-z db/journals/jar/jar35.html#BoufkhadDIS05