عنوان

Advanced Boolean techniques :

(Number (ISBN

3030203239

(Number (ISBN

9783030203238

Erroneous ISBN

3030203220

Erroneous ISBN

9783030203221

Title Proper

Advanced Boolean techniques :

General Material Designation

[Book]

Other Title Information

selected papers from the 13th International Workshop on Boolean Problems /

First Statement of Responsibility

editors, Rolf Drechsler and Mathias Soeken.

Place of Publication, Distribution, etc.

Cham :

Name of Publisher, Distributor, etc.

Springer,

Date of Publication, Distribution, etc.

[2020]

Date of Publication, Distribution, etc.

©2020

Specific Material Designation and Extent of Item

1 online resource :

Other Physical Details

illustrations (some color)

Text of Note

Includes bibliographical references and index.

Text of Note

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

0

Text of Note

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.

Source for Acquisition/Subscription Address

Springer Nature

Stock Number

com.springer.onix.9783030203238

International Standard Book Number

9783030203221

Algebra, Boolean, Congresses.

Algebra, Boolean.

Number

Edition

Class number

Book number

Drechsler, Rolf

Soeken, Mathias

International Workshop on Boolean Problems(13th :2018 :, Bremen, Germany)

Date of Transaction

20200823091409.0

Cataloguing Rules (Descriptive Conventions))

pn

Electronic name

[Book]

Y