Shaw, Arijit, Brendan Juba, and Kuldeep S. Meel. 2024. “An Approximate Skolem Function Counter”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (8):8108-16. https://doi.org/10.1609/aaai.v38i8.28650.