On the satisfiability of random regular signed SAT formulas - Christian Laus; Dirk Oliver Theis (CoRR, 2011)