M. Soos and K. S. Meel, “BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting”, AAAI, vol. 33, no. 01, pp. 1592-1599, Jul. 2019.