Arrighi, E.; Fernau, H.; de Oliveira Oliveira, M.; Wolf, P. Synchronization and Diversity of Solutions. AAAI 2023, 37, 11516-11524.