Andy Oertel: Certifying Combinatorial Optimization: A Unified Approach With Pseudo-boolean Reasoning

2026 2:03:13
Synopsis
Wednesday Jan 7, 2025 Certifying combinatorial optimization: A unified approach using pseudo-Boolean reasoning (Andy Oertel, ...

You Might Also Like

Stephan Gocht: Certifying correctness for combinatorial algorithms by using pseudo-Boolean reasoning 1:56:11
Stephan Gocht: Certifying Correctness For Combinatorial Algo...
2023
WHOOPS '25 Tutorial 1: An introduction to pseudo-Boolean proof logging 1:12:23
Whoops '25 Tutorial 1: An Introduction To Pseudo-boolean Pro...
2026
SLOPPY '24: Tutorial 4 on MIP solving and pseudo-Boolean solving/optimization (Jakob Nordström) 1:30:52
Sloppy '24: Tutorial 4 On Mip Solving And Pseudo-boolean Sol...
2025
SLOPPY '24: Tutorial 3 on pseudo-Boolean optimization (Jakob Nordström) 1:31:33
Sloppy '24: Tutorial 3 On Pseudo-boolean Optimization (jakob...
2025
Pseudo-Boolean Solving and Optimization 2:02:25
Pseudo-boolean Solving And Optimization
2022
FOCS 2024 3B Optimal Bounds for Open Addressing Without Reordering 19:47
Focs 2024 3b Optimal Bounds For Open Addressing Without Reor...
2025
SLOPPY '24: Tutorial 2 on pseudo-Boolean solving (Jakob Nordström) 1:25:33
Sloppy '24: Tutorial 2 On Pseudo-boolean Solving (jakob Nord...
2025
Example 8: Showing Undecidability and Unrecognizability via Reduction 9:52
Example 8: Showing Undecidability And Unrecognizability Via ...
2023
Introduction to Metaheuristics (2/9). Combinatorial Optimization problems 8:40
Introduction To Metaheuristics (2/9). Combinatorial Optimiza...
2021
Pseudo-Boolean Solving and Optimization 4 1:20:06
Pseudo-boolean Solving And Optimization 4
2022
WHOOPS '25 Tutorial 3: Pseudo-Boolean proof logging for constraint programming 1:01:25
Whoops '25 Tutorial 3: Pseudo-boolean Proof Logging For Cons...
2026
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.