Finding the K best synthesis plans. - Rolf Fagerberg; Christoph Flamm; Rojin Kianian; Daniel Merkle; Peter F. Stadler (J. Cheminformatics, 2018)