Thirty-Six Officers of Euler-New Insights Computed Using XBOOLE (English)
- New search for: Steinbach, Bernd
- New search for: Posthoff, Christian
- New search for: Drechsler, Rolf
- New search for: Huhn, Sebastian
- New search for: Steinbach, Bernd
- New search for: Posthoff, Christian
In:
Advanced Boolean Techniques
: Selected Papers from the 15th International Workshop on Boolean Problems
;
Chapter: 10
;
135-154
;
2023
- Article/Chapter (Book) / Electronic Resource
-
Title:Thirty-Six Officers of Euler-New Insights Computed Using XBOOLE
-
Contributors:Drechsler, Rolf ( editor ) / Huhn, Sebastian ( editor ) / Steinbach, Bernd ( author ) / Posthoff, Christian ( author )
-
Published in:Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems ; Chapter: 10 ; 135-154
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2023-02-24
-
Size:20 pages
-
ISBN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Arithmetic Satisfiability-Modulo-Theory Solving Applied to Nonstandard Analysis Problems of Cyber-Physical SystemsFränzle, Martin et al. | 2012
- 2
-
Fast AIG-Based Approximate Logic SynthesisHeil, Annika / Keszocze, Oliver et al. | 2023
- 3
-
External Don’t Cares in Logic SynthesisLee, Siang-Yun / Riener, Heinz / De Micheli, Giovanni et al. | 2023
- 4
-
Maiorana-McFarland Boolean Bent Functions Characterized by Their Reed-Muller SpectraMoraga, Claudio / Stanković, Radomir S. / Stanković, Milena et al. | 2023
- 5
-
Toward System-Level Assertions for Heterogeneous SystemsHassan, Muhammad / Vörtler, Thilo / Einwich, Karsten / Drechsler, Rolf / Große, Daniel et al. | 2023
- 6
-
SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking MechanismsMerten, Marcel / Djeridane, Mohammed E. / Huhn, Sebastian / Drechsler, Rolf et al. | 2023
- 7
-
Autosymmetric and D-reducible Functions: Theory and Application to SecurityBernasconi, Anna / Ciriani, Valentina / Monfrini, Licia et al. | 2023
- 8
-
Two-Operand Modular Multiplication to Small Bit RangesGorodecky, Danila / Sousa, Leonel et al. | 2023
- 9
-
Low-Latency Real-Time Inference for Multilayer Perceptrons on FPGAsAl-Zoubi, Ahmad / Fey, Goerschwin et al. | 2023
- 10
-
Thirty-Six Officers of Euler-New Insights Computed Using XBOOLESteinbach, Bernd / Posthoff, Christian et al. | 2023
- 11
-
Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDsQayyum, Khushboo / Mahzoon, Alireza / Drechsler, Rolf et al. | 2023