TY - RPRT TI - Squaring the square with integer linear programming AU - Sascha Kurz PY - 2014 UR - https://arxiv.org/abs/1401.6387 ID - 1401.6387 ER -