Stephen talked about using the indicator calculus and mixed-integer linear programming to automatically verify set inequalities.
The code implementing the method is available here.
Previous: Approximation algorithm for maximum matching
Brian presented on a fun approximation algorithm for maximum matching, involving topics in distributed computing, randomization, and more.
continue reading ❯