TY  - RPRT
TI  - 2-Xor revisited: satisfiability and probabilities of functions
AU  - Élie de Panafieu
AU  - Danièle Gardy
AU  - Bernhard Gittenberger
AU  - Markus Kuba
PY  - 2015
UR  - https://arxiv.org/abs/1511.07813
ID  - 1511.07813
ER  -