BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation.

Jiaqi Yin, Zhan Song, Chen Chen, Qihao Hu, Cunxi Yu

Browse the full DAC paper archive.