Beck's Three Permutations Conjecture: A Counterexample and Some Consequences.

Alantha Newman Ofer Neiman Aleksandar Nikolov

Published in: FOCS (2012)

Keyphrases

model checking
negative consequences
probability distribution
databases
expert systems
formal verification
bayesian networks
user interface