Link Identifiability with Two Monitors: Proof of Selected Theorems.

Liang Ma Ting He Kin K. Leung Ananthram Swami Don Towsley

Published in: CoRR (2020)

Keyphrases

proof search
theorem prover
database
information systems
theorem proving
cut elimination
real time
databases
machine learning
image processing
wireless sensor networks
link structure
randomly selected
automated theorem proving