Late Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas.

Arash Ardakani, Minwoo Kang, Kevin He, Vighnesh M. Iyer, Suhong Moon, John Wawrzynek

Browse the full DAC paper archive.