Pseudo-Boolean Solving and Optimization 1

Name: Pseudo-Boolean Solving and Optimization 1
Uploaded: Feb 3, 2021
Duration: 1387 s
Description: Jakob Nordström (University of Copenhagen & Lund University) https://simons.berkeley.edu/talks/pseudo-boolean-solving-and-optimization-0 Satisfiability: Theory, Practice, and Beyond Boot Camp

Simons Institute for the Theory of Computing73K subscribers

1.8K views

Feb 3, 2021

23:07

Jakob Nordström (University of Copenhagen & Lund University) https://simons.berkeley.edu/talks/pseudo-boolean-solving-and-optimization-0 Satisfiability: Theory, Practice, and Beyond Boot Camp

Download

1 formats

Video Formats

360pmp429.2 MB

Download

Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.