Syntax-guided optimal synthesis for chemical reaction networks by Cardelli, L, Ceska, M, Fraenzle, M, Kwiatkowska, M, Laurenti, L, Paoletti, N, Whitby, M