19. April 2023 20.04.2023 14:00 Tolga Eskin "Implementation of a scalable approximate model counter" Universität Ulm 19. April 2023 Universität Ulm Vorheriger Beitrag 12.04.2023 12:30 Prof. Dr. Nicola Galesi, Universita di Roma la Sapienza "The space complexity of cutting planes refutations" veröffentlicht am: 05. April 2023 Nächster Beitrag 21.04.2023 13:30 Alexandr Katsnelson "Cops and Robbers, pursuit-evasion games on graphs'' veröffentlicht am: 19. April 2023
12.04.2023 12:30 Prof. Dr. Nicola Galesi, Universita di Roma la Sapienza "The space complexity of cutting planes refutations" veröffentlicht am: 05. April 2023
21.04.2023 13:30 Alexandr Katsnelson "Cops and Robbers, pursuit-evasion games on graphs'' veröffentlicht am: 19. April 2023
