Tyburec, Marek, and Jan Zeman. “OPTIMIZATION-BASED APPROACH TO TILING OF FINITE AREAS WITH ARBITRARY SETS OF WANG TILES”. Acta Polytechnica CTU Proceedings, vol. 13, Nov. 2017, pp. 135-41, https://doi.org/10.14311/APP.2017.13.0135.