A counterexample to the DeMarco-Kahn upper tail conjecture.

Matas Sileikis Lutz Warnke

Published in: Random Struct. Algorithms (2019)

Keyphrases

model checking
formal verification
multiscale
power law
preprocessing
artificial neural networks
data structure
evolutionary algorithm
multiresolution
cost function
heavy tailed