Fast Linking Numbers for Topology Verification of Loopy Structures.

Ante Qu Doug L. James

Published in: CoRR (2021)

Keyphrases

model checking
data mining
case study
graphical models
artificial intelligence
social networks
computer vision
pairwise
complex structures
face verification
formal verification
asynchronous circuits