TY  - RPRT
TI  - CSB: A Counting and Sampling tool for Bit-vectors
AU  - Arijit Shaw
AU  - Kuldeep S. Meel
PY  - 2026
DO  - 10.1007/s00236-026-00535-0
UR  - https://arxiv.org/abs/2607.04142
ID  - 2607.04142
ER  -