König, M., Hoos, H. H., & Rijn, J. N. v. (2022). Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio. Machine learning, 111(12), 4565-4584. https://doi.org/10.1007/s10994-022-06212-w
Chicago Style (17th ed.) CitationKönig, Matthias, Holger H. Hoos, and Jan N. van Rijn. "Speeding Up Neural Network Robustness Verification via Algorithm Configuration and an Optimised Mixed Integer Linear Programming Solver Portfolio." Machine Learning 111, no. 12 (2022): 4565-4584. https://doi.org/10.1007/s10994-022-06212-w.
MLA (9th ed.) CitationKönig, Matthias, et al. "Speeding Up Neural Network Robustness Verification via Algorithm Configuration and an Optimised Mixed Integer Linear Programming Solver Portfolio." Machine Learning, vol. 111, no. 12, 2022, pp. 4565-4584, https://doi.org/10.1007/s10994-022-06212-w.