Sound Automation of Magic Wands. - Thibault Dardinier; Gaurav Parthasarathy; Noé Weeks; Peter Müller 001; Alexander J. Summers (CAV (2), 2022)

Sound Automation of Magic Wands (extended version). - Thibault Dardinier; Gaurav Parthasarathy; Noé Weeks; Alexander J. Summers; Peter Müller 001 (CoRR, 2022)

Proven Runtime Guarantees for How the MOEA/D: Computes the Pareto Front from the Subproblem Solutions. - Benjamin Doerr; Martin S. Krejca; Noé Weeks (PPSN (3), 2024)