2-Xor Revisited: Satisfiability and Probabilities of Functions
de Panafieu, Élie, Gardy, Danièle, Gittenberger, Bernhard, Kuba, MarkusVolume:
76
Language:
english
Journal:
Algorithmica
DOI:
10.1007/s00453-016-0119-x
Date:
December, 2016
File:
PDF, 711 KB
english, 2016