Engineering an Efficient PB-XOR Solver.

Jiong Yang, Kuldeep S. Meel

Browse the full CP paper archive.