Algorithms for NP-Hard Problems (Section 24.3: Feasibility Checking) [Pt 1/2]
Tim Roughgarden Lectures · 17:19
The FCC incentive auction’s inner loop is a feasibility check (can this set of stations be assigned channels without interference?), which is almost graph coloring and is encoded as SAT so solvers can act as the “magi...