2-Xor Revisited: Satisfiability and Probabilities of Functions

Elie de Panafieu, Danièle Gardy, Bernhard Gittenberger, Markus Kuba. 2-Xor Revisited: Satisfiability and Probabilities of Functions. Algorithmica, 76(4):1035-1076, 2016. [doi]

Abstract

Abstract is missing.