TY - RPRT TI - The Power of Choice for Random Satisfiability AU - Varsha Dani AU - Josep Diaz AU - Thomas Hayes AU - Cristopher Moore PY - 2012 UR - https://arxiv.org/abs/1211.6997 ID - 1211.6997 ER -