Parameterized Complexity of Streaming Diameter and Connectivity Problems.

Jelle J. Oostveen Erik Jan van Leeuwen

Published in: IPEC (2022)

Keyphrases

parameterized complexity
knowledge base
objective function
search algorithm
np hard
knowledge representation
simulated annealing
np complete
decision problems
theorem proving