Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

Rolf Drechsler, Sebastian Huhn, 3031289153, 9783031289156