@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/
@mastersthesis{meel2014sampling,
  title={Sampling techniques for boolean satisfiability},
  author={Meel, Kuldeep S.},
  year={2014},
  month=may,
  bib2html_dl_pdf={../Papers/Meel-MSThesis.pdf},
  school={Rice University},
  bib2html_pubtype={Book Chapter/Thesis},
  bib2html_rescat={Counting,Sampling},
  note={Winner of 2014 VCLA (Vienna Center of Logic and Algorithms) Outstanding Masters Thesis},
}