Formally Certified Approximate Model Counting - Tan, Yong Kiam; Yang, Jiong; Soos, Mate; Myreen, Magnus; Meel, Kuldeep S. (De nästa 700 verifierade kompilatorerna 36th International Conference on Computer Aided Verification, CAV 2024, Montreal, Canada Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024)