Szász, Attila, Bánhelyi, Balázs (2024) Effective inclusion methods for verification of ReLU neural networks Annales Mathematicae et Informaticae. ISSN 1787-6117 (Online)
Heinc, Emília, Bánhelyi, Balázs (2024) Testing the selection heuristic of the Accelerated Branch and Bound method Annales Mathematicae et Informaticae. ISSN 1787-6117 (Online)