@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/
@article{SM26,
  title={CSB: A Counting and Sampling tool for Bit-vectors},
  author={Shaw, Arijit and Meel, Kuldeep S.},
  journal={Acta Informatica},
  volume={63},
  number={3},
  pages={23},
  year={2026},
  bib2html_rescat={Counting,Sampling},
  bib2html_pubtype={Journal},
  bib2html_dl_pdf={https://doi.org/10.1007/s00236-026-00535-0},
}