• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
CSB: A Counting and Sampling tool for Bit-vectors
Arijit Shaw, and Kuldeep S. Meel.
Acta Informatica, 63(3):23, 2026.
(unavailable)
@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},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Thu Aug 27, 2026 01:50:04