Guided Equality Saturation.

Thomas Koehler Andrés Goens Siddharth Bhat Tobias Grosser Phil Trinder Michel Steuwer

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

real time
database
data mining
information retrieval
clustering algorithm
wide range
video sequences
knowledge representation