On the enumeration of signatures of XOR-CNF's

Nadia Creignou, Oscar Defrain, Frédéric Olive +1

Given a CNF formula $\phi$ with clauses $C_1,\dots ,C_m$ over a set of variables $V$, a truth assignment $\mathbf{a}:V\to \{0,1\}$ generates a binary sequence $σ_φ(\mathbf{a})=(C…