2-Xor Revisited: Satisfiability and Probabilities of Functions.

Elie de Panafieu Danièle Gardy Bernhard Gittenberger Markus Kuba

Published in: Algorithmica (2016)

Keyphrases

np complete
basis functions
computational complexity
probability distribution
real time
data mining
website
multiscale
objective function
multi class
satisfiability problem
symmetry breaking
possibility distributions
probability functions
quantified boolean formulas