Hydra Battles and AC Termination.

Nao Hirokawa Aart Middeldorp

Published in: FSCD (2023)

Keyphrases

term rewriting
rewrite systems
training data
arc consistency
database
multiscale
data mining
information systems
image retrieval
relational databases
special case
cost function
constraint satisfaction problems
constraint satisfaction