Random Local Access for Sampling k-SAT Solutions.

Dingding Dong, Nitya Mani

Browse the full SAT paper archive.