TY - RPRT TI - A Randomized Algorithm for 3-SAT AU - Subhas Kumar Ghosh AU - Janardan Misra PY - 2009 DO - 10.1007/s11786-010-0036-3 UR - https://arxiv.org/abs/0906.1849 ID - 0906.1849 ER -