Balancing Scalability and Uniformity in SAT Witness Generator.

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

Browse the full DAC paper archive.