Linear Termination is Undecidable.

Fabian Mitterwallner Aart Middeldorp René Thiemann

Published in: LICS (2024)

Keyphrases

np complete
sufficient conditions
closed form
knowledge base
neural network
bayesian networks
lower bound
data model
linear model