Bernhard J. Berger, Christina Plump, Rolf Drechsler: Why less is sometimes more: Using Boolean literals to solve 2048. it Inf. Technol. 66(4-5): 174-186 (2024)