BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting.

Mate Soos, Kuldeep S. Meel

Browse the full AAAI paper archive.