Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification. - Ben Ruijl; Jos Vermaseren; Aske Plaat; H. Jaap van den Herik (ICAART (1), 2014)

Why Local Search Excels in Expression Simplification. - Ben Ruijl; Aske Plaat; Jos Vermaseren; H. Jaap van den Herik (CoRR, 2014)

HEPGAME and the Simplification of Expressions. - Ben Ruijl; Jos Vermaseren; Aske Plaat; H. Jaap van den Herik (CoRR, 2014)

FORM version 4.2. - Ben Ruijl; Takahiro Ueda; Jos Vermaseren (CoRR, 2017)

Forcer, a Form program for the parametric reduction of four-loop massless propagator diagrams. - Ben Ruijl; Takahiro Ueda; J. A. M. Vermaseren (Comput. Phys. Commun., 2020)