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