Sign in
On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras.
Peter Mayr
Published in:
MFCS (2023)
Keyphrases
</>
computational complexity
complex systems
neural network
intelligent systems
building blocks
linear systems
expert systems
computational cost
language model
distributed systems
mathematical model
retrieval systems
temporal reasoning
spatial reasoning