Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification.

Ben Ruijl, Jos Vermaseren, Aske Plaat, H. Jaap van den Herik

Browse the full ICAART paper archive.