Braun, A. P., Kimura, Y., & Watari, T. (2014). The Noether-Lefschetz problem and gauge-group-resolved landscapes: F-theory on K3 $\times$ K3 as a test case. Journal of High Energy Physics, 04, https://doi.org/10.1007/jhep04%282014%29050