TY - RPRT TI - Satisfiability Thresholds for k-CNF Formula with Bounded Variable Intersections AU - Karthekeyan Chandrasekaran AU - Navin Goyal AU - Bernhard Haeupler PY - 2010 UR - https://arxiv.org/abs/1006.3030 ID - 1006.3030 ER -