On SAT representations of XOR constraints

Open in new window