Planar Turán Numbers of Cycles: A Counterexample.

Daniel W. Cranston Bernard Lidický Xiaonan Liu Abhinav Shantanam

Published in: Electron. J. Comb. (2022)

Keyphrases

model checking
curved surfaces
formal verification
data sets
machine learning
computer vision
knowledge base
decision trees
hidden markov models
line drawings