18:12FOCS 2024 3C Deterministic Algorithm and Faster Algorithm for Submodular MaximizationFOCS 2024124 viewsView & Download
18:45FOCS 2024 3C Efficient Approximation of Fractional Hypertree WidthFOCS 2024120 viewsView & Download
19:47FOCS 2024 3B Optimal Bounds for Open Addressing Without ReorderingFOCS 202417.5K viewsView & Download
8:46Z3 Explained - Satisfiability Modulo Theories & SMT SolversGuided Hacking22.1K viewsView & Download
21:00FOCS 2024 2B An XOR Lemma for Deterministic Communication ComplexityFOCS 2024122 viewsView & Download
11:30Differentiable Laplacian Matrix Guided Superpixel SegmentationEmbedded Systems and Deep Learning43 viewsView & Download
1:07:09Dennis Gustafsson – Parallelizing the physics solver – BSC 2025Better Software Conference69.1K viewsView & Download
18:26FOCS 2024 10A An Improved Pseudopolynomial Time Algorithm for Subset SumFOCS 2024119 viewsView & Download
21:48FOCS 2024 8A Fast decision tree learning solves hard coding-theoretic problemsFOCS 2024130 viewsView & Download
16:22FOCS 2024 7C Computing Approximate Centerpoints in Polynomial TimeFOCS 2024129 viewsView & Download
3:02Deeparnab Chakrabarty: Provable Submodular Function Minimization via Fujishige Wolfe AlgorithmMicrosoft Research774 viewsView & Download
51:30Live Demo | Molecular Universe (MU-3): MU-StarSeeker for Frontier Workflow AutomationPowered by SES534 viewsView & Download