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

by Rolf Drechsler

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 3030203255
• ISBN13: 9783030203252
• Release Date: August 2020
• Publisher: Springer
• Length: 265 Pages
• Weight: 0.86 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"