research
∙
09/12/2013
On SAT representations of XOR constraints
We study the representation of systems S of linear equations over the tw...
share
research
∙
04/29/2012
