Advanced Boolean Techniques, Kartoniert / Broschiert
Advanced Boolean Techniques
- Selected Papers from the 15th International Workshop on Boolean Problems
(soweit verfügbar beim Lieferanten)
- Herausgeber:
- Rolf Drechsler, Sebastian Huhn
- Verlag:
- Springer, 05/2024
- Einband:
- Kartoniert / Broschiert, Paperback
- Sprache:
- Englisch
- ISBN-13:
- 9783031289187
- Artikelnummer:
- 11883938
- Umfang:
- 180 Seiten
- Gewicht:
- 283 g
- Maße:
- 235 x 155 mm
- Stärke:
- 11 mm
- Erscheinungstermin:
- 31.5.2024
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Advanced Boolean Techniques |
Preis |
|---|
Klappentext
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.
