7 citations · 8 across the 6 of their papers we have counts for
1 paper · 2 filters
Bowen Zhu, Aayush Sabharwal, Songchen Tan +3
Symbolic computation systems suffer from memory inefficiencies due to redundant storage of structurally identical subexpressions, commonly known as expression swell, which degrades…