%0 Journal Article %1 journals/corr/abs-2305-19203 %A Singher, Eytan %A Itzhaky, Shachar %D 2023 %J CoRR %K dblp %T Colored E-Graph: Equality Reasoning with Conditions. %U http://dblp.uni-trier.de/db/journals/corr/corr2305.html#abs-2305-19203 %V abs/2305.19203

@article{journals/corr/abs-2305-19203, added-at = {2023-06-07T00:00:00.000+0200}, author = {Singher, Eytan and Itzhaky, Shachar}, biburl = {https://www.bibsonomy.org/bibtex/24affd1330adc2b6e37ddd2827aaca464/dblp}, ee = {https://doi.org/10.48550/arXiv.2305.19203}, interhash = {2d9157b51eb8007b5a23d491f23a53ad}, intrahash = {4affd1330adc2b6e37ddd2827aaca464}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:10:28.000+0200}, title = {Colored E-Graph: Equality Reasoning with Conditions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2305.html#abs-2305-19203}, volume = {abs/2305.19203}, year = 2023 }