Trustworthy Graph Algorithms (Invited Talk).

Mohammad Abdulaziz Kurt Mehlhorn Tobias Nipkow

Published in: MFCS (2019)

Keyphrases

invited talk
graph theory
maximum flow
databases
learning algorithm
artificial intelligence
data structure
data mining
classification algorithm
directed graph