Seonmo Kim, Stephen McCamant: Structural Bit-vector Model Counting. SMT 2020: 26-36