Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling.

Mate Soos, Stephan Gocht, Kuldeep S. Meel

Browse the full CAV paper archive.