E-graph optimization with boolean inference

[GiggleLiu]

Hartmann, J., He, G., Yoneki, E., 2024. Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search. https://doi.org/10.48550/arXiv.2410.05534