Rolf Drechsler · Mathias Soeken Editors
Advanced
Boolean
Techniques
Selected Papers from the 13th
International Workshop on Boolean
Problems