Anke van Zuylen, Video: On some recent MAX SAT approximation algorithms
Anke van Zuylen, Video: On some recent MAX SAT approximation algorithms
Anke van Zuylen, On some recent MAX SAT approximation algorithms, Approximation Algorithms and the Hardness of Approximation, BIRS, BIRS talk, 14w5051, math, mathematics, video