A Scalable and Nearly Uniform Generator of SAT Witnesses.

Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

Browse the full CAV paper archive.