Mathematics
and Interactions
-
Videos linked to 68Q17 Computational difficulty of problemsMore +
![Algorithmic foundations for exact discrete probabilistic reasoning]()
01:24:49published on May 26, 2026Algorithmic foundations for exact discrete probabilistic reasoning
By Steven Holtzen
![Derandomization, tutorial - part 2: Meta-complexity]()
01:08:25published on March 11, 2024Derandomization, tutorial - part 2: Meta-complexity
By Valentine Kabanets
![Derandomization, tutorial - part 1: Pseudo-randomness from hardness]()
01:14:33published on March 11, 2024Derandomization, tutorial - part 1: Pseudo-randomness from hardness
By Valentine Kabanets
![Et si SAT était vraiment difficile? Quelques conséquences des hypothèses ETH et SETH]()
57:38published on March 28, 2023Et si SAT était vraiment difficile? Quelques conséquences des hypothèses ETH et SETH
By Bruno Escoffier
