Balanced K-SAT and Biased random K-SAT on trees - Sumedha; Supriya Krishnamurthy; Sharmistha Sahoo (CoRR, 2012)