Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Description

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 13th annual International Workshop on Boolean Problems. Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques;Includes a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems;Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic, Software and tools for the solution of Boolean problems, Applications of Boolean logic and algebras, Applications to real-world problems, Boolean constraint solving, and Extensions of Boolean logic. Front Matter ....Pages i-viii Self-explaining Digital Systems: Technical View, Implementation Aspects, and Completeness (Görschwin Fey, Rolf Drechsler)....Pages 1-20 Secure Implementation of Lattice-Based Encryption Schemes (Tobias Oder, Tobias Schneider, Tim Güneysu)....Pages 21-49 Derivative Operations for Classes \(\mathcal {C}_N\) of Boolean Functions (Bernd Steinbach, Christian Posthoff)....Pages 51-82 Towards the Structure of a Class of Permutation Matrices Associated with Bent Functions (Radomir S. Stanković, Milena Stanković, Jaakko T. Astola, Claudio Moraga)....Pages 83-105 Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning (Oliver Keszocze, Kenneth Schmitz, Jens Schloeter, Rolf Drechsler)....Pages 107-133 Synthesis of Majority Expressions Through Primitive Function Manipulation (Evandro C. Ferraz, Jeferson de Lima Muniz, Alexandre C. R. da Silva, Gerhard W. Dueck)....Pages 135-158 Literal Selection in Switching Lattice Design (Anna Bernasconi, Fabrizio Luccio, Linda Pagli, Davide Rucci)....Pages 159-175 Exact Synthesis of ESOP Forms (Heinz Riener, Rüdiger Ehlers, Bruno de O. Schmitt, Giovanni De Micheli)....Pages 177-194 An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions (D. Michael Miller, Mathias Soeken)....Pages 195-215 New Results on Reversible Boolean Functions Having Component Functions with Specified Properties (Paweł Kerntopf, Krzysztof Podlaski, Claudio Moraga, Radomir Stanković)....Pages 217-236 Efficient Hardware Operations for the Residue Number System by Boolean Minimization (Danila Gorodecky, Tiziano Villa)....Pages 237-258 Back Matter ....Pages 259-265