Linear upper bounds for random walk on small density random 3-CNFs | IEEE Conference Publication | IEEE Xplore