Advanced Boolean techniques = select...
International Workshop on Boolean Problems (2022 :)

Linked to FindBook      Google Book      Amazon      博客來     
  • Advanced Boolean techniques = selected papers from the 15th International Workshop on Boolean Problems /
  • Record Type: Electronic resources : Monograph/item
    Title/Author: Advanced Boolean techniques/ edited by Rolf Drechsler, Sebastian Huhn.
    Reminder of title: selected papers from the 15th International Workshop on Boolean Problems /
    other author: Drechsler, Rolf.
    corporate name: International Workshop on Boolean Problems
    Published: Cham :Springer International Publishing : : 2023.,
    Description: 1 online resource (viii, 172 p.) :ill., digital ;24 cm.
    [NT 15003449]: Chapter 1. Arithmetic Satisfiability-Modulo-Theory Solving Applied to Non-Standard Analysis Problems of Cyber-Physical Systems -- Chapter 2. Fast AIG-based Approximate Logic Synthesis -- Chapter 3. External Don't Cares in Logic Synthesis -- Chapter 4. Maiorana-McFarland Boolean Bent Functions Characterized by their Reed-Muller Spectra -- Chapter 5. Towards System-level Assertions for Heterogeneous Systems -- Chapter 6. SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms -- Chapter 7. Autosymmetric and D-reducible Functions: Theory and Application to Security -- Chapter 8. Two-operands modular multiplication to small bit-ranges -- Chapter 9. Low Latency Real-Time Inference for Multilayer Perceptrons on FPGAs -- Chapter 10. Thirty-six Officers of Euler - New Insights Computed Using XBOOLE -- Chapter 11. Start Small but Dream Big: On Choosing a Static Variable Order for Multiplier BDDs.
    Contained By: Springer Nature eBook
    Subject: Algebra, Boolean - Congresses. -
    Online resource: https://doi.org/10.1007/978-3-031-28916-3
    ISBN: 9783031289163
Location:  Year:  Volume Number: 
Items
  • 1 records • Pages 1 •
  • 1 records • Pages 1 •
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login