Additive Link Metrics Identification: Proof of Selected Lemmas and Propositions.

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

Published in: CoRR (2021)

Keyphrases

theorem prover
theorem proving
proof search
automated theorem proving
proof procedure
data mining
information systems
evaluation metrics
automatic identification
previously identified