Drechsler R., Huhn S. Advanced Boolean Techniques 2023

Textbook in PDF format

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 15th annual International Workshop on Boolean Problems.
Preface
Arithmetic Satisfiability-Modulo-Theory Solving Applied to Non-Standard Analysis Problems of Cyber-Physical Systems
Fast AIG-Based Approximate Logic Synthesis
External Don't Cares in Logic Synthesis
Maiorana-McFarland Boolean Bent Functions Characterized by their Reed-Muller Spectra
Toward System-Level Assertions for Heterogeneous Systems
SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms
Autosymmetric and D-reducible Functions: Theory and Application to Security
Two-Operand Modular Multiplication to Small Bit Ranges
Low-Latency Real-Time Inference for Multilayer Perceptronson FPGAs
Thirty-Six Officers of Euler-New Insights Computed Using XBOOLE
Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs
Index