DMCA

On SAT representations of XOR constraints (2013)

by Matthew Gwynne , Oliver Kullmann
Citations:1 - 1 self