Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems - Drechsler (Springer International Publishing, 2020)