TY  - RPRT
TI  - Why Local Search Excels in Expression Simplification
AU  - Ben Ruijl
AU  - Aske Plaat
AU  - Jos Vermaseren
AU  - Jaap van den Herik
PY  - 2014
UR  - https://arxiv.org/abs/1409.5223
ID  - 1409.5223
ER  -