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