Advanced Boolean techniques : selected papers from the 13th International Workshop on Boolean Problems /: selected papers from the 13th International Workshop on Boolean Problems. ([2020])

• Record Type: Book
• Further Information: Note: Editors, Rolf Drechsler and Mathias Soeken.
• Editors: Drechsler, Rolf; Soeken, Mathias
• Other Names: International Workshop on Boolean Problems, 13th
• Contents: Chapter 1. Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness.- Chapter 2.Secure Implementation of Lattice-Based Encryption Schemes.- Chapter 3. Derivative Operations for Classes CN of Boolean Functions.- Chapter 4.Towards the Structure of a Class of Permutation Matrices Associated With Bent Functions.- Chapter 5. Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning.- Chapter 6.Synthesis of Majority Expressions through Primitive Function Manipulation.- Chapter 7. Literal Selection in Switching Lattice Design.- Chapter 8. Exact Synthesis of ESOP Forms.- Chapter 9.An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions.- Chapter 10.New Results on Reversible Boolean Functions Having Component Functions with Specified Properties.- Chapter 11. Efficient hardware operations for the residue number system by Boolean minimization.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Copyright Date: 2020
• Extent: 1 online resource, illustrations (some color)
• Subjects: 511.3/24; Algebra, Boolean -- Congresses; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783030203238; 3030203239
• Related ISBNs: 3030203220; 9783030203221
• Notes: Note: Includes bibliographical references and index.; Note: Online resource ; title from PDF title page (EBSCO, viewed July 15, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.