A Formal Disproof of Hirsch Conjecture.

Xavier Allamigeon Quentin Canu Pierre-Yves Strub

Published in: CPP (2023)

Keyphrases

neural network
social networks
e learning
bayesian networks
data structure
formal methods
mathematical theory