A Formal Disproof of the Hirsch Conjecture.

Xavier Allamigeon Quentin Canu Pierre-Yves Strub

Published in: CoRR (2023)

Keyphrases

formal methods
information systems
image processing
search algorithm
formal model
formal specification
neural network
case study
trade off
medical images
data sets
objective function
cooperative
hidden markov models
formal analysis
formal language