On the Counting Complexity of the Skolem Problem.

Gorav Jindal Joël Ouaknine

Published in: CoRR (2024)

Keyphrases

first order logic
computational complexity
worst case
real time
decision problems
databases
image processing
three dimensional
reinforcement learning
object recognition