Bart M. P. Jansen, Michal Wlodarczyk: Optimal Polynomial-Time Compression for Boolean Max CSP. ESA 2020: 63:1-63:19