TY  - RPRT
TI  - An Approximate Skolem Function Counter
AU  - Arijit Shaw
AU  - Brendan Juba
AU  - Kuldeep S. Meel
PY  - 2024
UR  - https://arxiv.org/abs/2312.12026
ID  - 2312.12026
ER  -