TY - RPRT TI - Optimal polynomial-time compression for Boolean Max CSP AU - Bart M. P. Jansen AU - Michał Włodarczyk PY - 2020 UR - https://arxiv.org/abs/2002.03443 ID - 2002.03443 ER -