Kovásznai, Gergely, Gajdár, Krisztián, Narodytska, Nina (2021) Portfolio solver for verifying Binarized Neural Networks Annales Mathematicae et Informaticae (53.): Selected papers of the 1st Conference on Information Technology and Data Science. pp. 183-200. ISSN 1787-6117 (Online)