Equivalence Class Based Parity Reasoning with DPLL(XOR) | IEEE Conference Publication | IEEE Xplore