Recent Findings in Boolean Techniques

Rolf Drechsler, Daniel Große

ISBN 978-3-030-68070-1 Springer 2021.


This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence