MCTS-GEB: Monte Carlo Tree Search is a Good E-graph Builder

Guoliang He, Zak Singh, Eiko Yoneki

Rewrite systems [6, 10, 12] have been widely employing equality saturation [9], which is an optimisation methodology that uses a saturated e-graph to represent all possible sequenc…