Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk).

Published in: CSL (2020)

Keyphrases

invited talk
solving problems
solving complex
optimization problems
differential equations
np complete
numerical methods
image compression
machine learning
recent advances
linear programming
case based reasoning
fuzzy logic
numerical solution
selected papers
information systems
artificial intelligence