Pseudo-Boolean Solving and Optimization

Jakob Nordström (University of Copenhagen & Lund University)
https://simons.berkeley.edu/talks/pse...
Satisfiability: Theory, Practice, and Beyond Boot Camp

• #education
• #simons_institute
• #theoretical_computer_science
• #uc_berkeley
• #computer_science
• #theory_of_computation
• #theory_of_computing
• #satisfiability_theory_practice_and_beyond_boot_camp
• #jakob_nordstrm