On the enumeration of signatures of XOR-CNF's.

Nadia Creignou Oscar Defrain Frédéric Olive Simon Vilmin

Published in: CoRR (2024)

Keyphrases

boolean functions
signature verification
search space
signature recognition
knowledge compilation
sat solving
model counting
search algorithm
special case
dynamic programming
np complete
designated verifier