On Parallel Scalable Uniform SAT Witness Generation.

Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi

Browse the full TACAS paper archive.