Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems - Drechsler, Rolf.; Huhn, Sebastian (Cham Springer International Publishing AG, 2023)