An Alternate Proof of Near-Optimal Light Spanners.

Published in: SOSA (2024)

Keyphrases

theorem proving
wide range
real time
data sets
neural network
information retrieval
optimal solution
search algorithm
theorem prover