TY  - RPRT
TI  - Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification
AU  - Ben Ruijl
AU  - Jos Vermaseren
AU  - Aske Plaat
AU  - Jaap van den Herik
PY  - 2013
UR  - https://arxiv.org/abs/1312.0841
ID  - 1312.0841
ER  -