Recent Findings in Boolean Techniques
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 9)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030680701, 9783030680718

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Verification of Integer Multiplier Circuits Using Algebraic Reasoning: A Survey

Recent Findings in Boolean Techniques ◽

10.1007/978-3-030-68071-8_1 ◽

2021 ◽

pp. 1-27

Author(s):

Daniela Kaufmann

Keyword(s):

Formal Verification ◽

Algebraic Reasoning

Download Full-text

Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls

Recent Findings in Boolean Techniques ◽

10.1007/978-3-030-68071-8_7 ◽

2021 ◽

pp. 143-165

Author(s):

D. Michael Miller ◽

Gerhard W. Dueck

Keyword(s):

Circuit Synthesis ◽

Reversible Circuit ◽

Translation Techniques ◽

Negative Controls

Download Full-text

Construction of Binary Bent Functions by FFT-Like Permutation Algorithms

Recent Findings in Boolean Techniques ◽

10.1007/978-3-030-68071-8_5 ◽

2021 ◽

pp. 105-124

Author(s):

Radomir S. Stanković ◽

Milena Stanković ◽

Claudio Moraga ◽

Jaakko Astola

Keyword(s):

Download Full-text

The Vital Role of Machine Learning in Developing Emerging Technologies

Recent Findings in Boolean Techniques ◽

10.1007/978-3-030-68071-8_2 ◽

2021 ◽

pp. 29-57

Author(s):

Victor M. van Santen ◽

Florian Klemme ◽

Hussam Amrouch

Keyword(s):

Machine Learning ◽

Emerging Technologies ◽

Download Full-text

Nonlinear Codes for Test Patterns Compression: The Old School Way

Recent Findings in Boolean Techniques ◽

10.1007/978-3-030-68071-8_6 ◽

2021 ◽

pp. 125-142

Author(s):

Jan Schmidt ◽

Petr Fišer

Keyword(s):

Nonlinear Codes

Download Full-text

Hybrid Control of Toffoli and Peres Gates

Recent Findings in Boolean Techniques ◽

10.1007/978-3-030-68071-8_8 ◽

2021 ◽

pp. 167-175

Author(s):

Claudio Moraga

Keyword(s):

Download Full-text

Axiomatizing Boolean Differentiation

Recent Findings in Boolean Techniques ◽

10.1007/978-3-030-68071-8_4 ◽

2021 ◽

pp. 83-104

Author(s):

Felix Weitkämper

Download Full-text

GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools

Recent Findings in Boolean Techniques ◽

10.1007/978-3-030-68071-8_9 ◽

2021 ◽

pp. 177-191

Author(s):

Alireza Mahzoon ◽

Daniel Große ◽

Rolf Drechsler

Keyword(s):

Formal Verification ◽

Verification Tools

Download Full-text

Fast Optimal Synthesis of Symmetric Index Generation Functions

Recent Findings in Boolean Techniques ◽

10.1007/978-3-030-68071-8_3 ◽

2021 ◽

pp. 59-81

Author(s):

Bernd Steinbach ◽

Christian Posthoff

Keyword(s):

Optimal Synthesis

Download Full-text