"On Parallel Scalable Uniform SAT Witness Generation."

Supratik Chakraborty et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics