1. Advanced Boolean techniques : selected papers from the 13th International Workshop on Boolean Problems /: selected papers from the 13th International Workshop on Boolean Problems. ([2020]) Editors: Drechsler, Rolf; Soeken, Mathias Other Names: International Workshop on Boolean Problems, 13th Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Further improvements in the Boolean domain. (2018) Editors: Steinbach, Bernd Record Type: Book Extent: 1 online resource (xli, 494 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Recent progress in the Boolean domain. (2014) Other Names: Steinbach, Bernd editor of compilation.; International Workshop on Boolean Problems Record Type: Book Extent: 1 online resource (455 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗