Decidable problems in substitution shifts.

Marie-Pierre Béal Dominique Perrin Antonio Restivo

Published in: J. Comput. Syst. Sci. (2024)

Keyphrases

optimization problems
problems involving
first order logic
decision problems
real time
e learning
artificial neural networks
multi objective
state space
np complete
benchmark problems