"2-Xor Revisited: Satisfiability and Probabilities of Functions."

Elie de Panafieu et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics