Login / Signup
Examining classical graph-theory problems from the viewpoint of formal-verification methods (invited talk).
Orna Kupferman
Published in:
STOC (2017)
Keyphrases
</>
graph theory
viewpoint
formal verification
graph theoretical
invited talk
computer vision and pattern recognition
graph based representations
neural network
artificial intelligence
pattern recognition
np complete
social network analysis