Advanced boolean techniques selected papers from the 13th international workshop on boolean problems - Drechsler, Rolf; Soeken, Mathias (Springer, 2020)