• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Sampling techniques for boolean satisfiability.
Kuldeep S. Meel.
Master's Thesis, Rice University,2014.
Winner of 2014 VCLA (Vienna Center of Logic and Algorithms) Outstanding Masters Thesis
(unavailable)
@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},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Sun Apr 14, 2024 11:15:51