LEADER 03855nam  22005535  450 
001 9910366584903321
005 20200706121846.0
010   $a3-030-20323-9
024 7 $a10.1007/978-3-030-20323-8
035   $a(CKB)4100000008618156
035   $a(MiAaPQ)EBC5813784
035   $a(DE-He213)978-3-030-20323-8
035   $a(PPN)238491935
035   $a(EXLCZ)994100000008618156
100   $a20190708d2020      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAdvanced Boolean Techniques $eSelected Papers from the 13th International Workshop on Boolean Problems /$fedited by Rolf Drechsler, Mathias Soeken
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (268 pages)
311   $a3-030-20322-0 
327   $aChapter 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.
330   $aThis 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.
606   $aElectronic circuits
606   $aLogic design
606   $aElectronics
606   $aMicroelectronics
606   $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068
606   $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050
606   $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027
615  0$aElectronic circuits.
615  0$aLogic design.
615  0$aElectronics.
615  0$aMicroelectronics.
615 14$aCircuits and Systems.
615 24$aLogic Design.
615 24$aElectronics and Microelectronics, Instrumentation.
676   $a511.324
676   $a511.324
702   $aDrechsler$b Rolf$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSoeken$b Mathias$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910366584903321
996   $aAdvanced Boolean Techniques$92213995
997   $aUNINA