@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Kuldeep S. Meel's publication pages at
@COMMENT http://www.comp.nus.edu.sg/~meel/publications/
@inproceedings{CMV14,
	title={Balancing Scalability and Uniformity in SAT-Witness Generator},
  bib2html_dl_pdf={../Papers/DAC2014.pdf},
  code={https://bitbucket.org/kuldeepmeel/unigen},
  author={Chakraborty, Supratik and Meel, Kuldeep S. and Vardi, Moshe Y.},
	booktitle=DAC,
	pages = {60:1--60:6},
	year={2014},
	month=jun,
bib2html_rescat={Sampling},
  bib2html_pubtype={Refereed Conference},
  abstract={Constrained-random simulation is the predominant approach used in the industry for functional verification of complex digital designs. The effectiveness of this approach depends on two key factors: the quality of constraints used to generate test vectors, and the randomness of solutions generated from a given set of constraints. In this paper, we focus on the second problem, and present an algorithm that significantly improves the state-of-the-art of (almost-)uniform generation of solutions of large Boolean constraints. Our algorithm provides strong theoretical guarantees on the uniformity of generated solutions and scales to problems involving hundreds of thousands of variables.},
}