Walter, M., Manikowski, P.,
Craven, M. & Walker, D.,
13 Mar 2024,
Handbook of Formal Optimization. Kulkarni, A. & Gandomi, A. (eds.).
Springer Nature,
p. 1093-1106 14 p. (Springer Nature Reference).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review