Why less is sometimes more -- Using Boolean literals to solve 2048

@inproceedings{pub15215,
    author = {

Berger, Bernhard J.
 and 

Plump, Christina
 and 

Drechsler, Rolf
},
    title = {Why less is sometimes more -- Using Boolean literals to solve 2048},
    booktitle = {16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany},
    year = {2024}
}