A counterexample to Beck's conjecture on the discrepancy of three permutations

Alantha Newman Aleksandar Nikolov

Published in: CoRR (2011)

Keyphrases

model checking
formal verification
probability distribution
supervised learning
cellular automata
positive and negative