Soos, M.; Meel, K. S. BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting. AAAI 2019, 33, 1592-1599.