TY  - RPRT
TI  - Balancing Scalability and Uniformity in SAT Witness Generator
AU  - Supratik Chakraborty
AU  - Kuldeep S. Meel
AU  - Moshe Y. Vardi
PY  - 2014
DO  - 10.1145/2593069.2593097
UR  - https://arxiv.org/abs/1403.6246
ID  - 1403.6246
ER  -