Advanced Boolean Techniques
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030203221, 9783030203238
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning

2019 ◽  
pp. 107-133
Author(s):  
Oliver Keszocze ◽  
Kenneth Schmitz ◽  
Jens Schloeter ◽  
Rolf Drechsler
Keyword(s):  
Monte Carlo ◽  
Tree Search ◽  
Sat Solving ◽  
Monte Carlo Tree Search ◽  
Clause Learning

scholarly journals Synthesis of Majority Expressions Through Primitive Function Manipulation

2019 ◽  
pp. 135-158
Author(s):  
Evandro C. Ferraz ◽  
Jeferson de Lima Muniz ◽  
Alexandre C. R. da Silva ◽  
Gerhard W. Dueck
Keyword(s):  
Primitive Function

scholarly journals Exact Synthesis of ESOP Forms

2019 ◽  
pp. 177-194 ◽  
Author(s):  
Heinz Riener ◽  
Rüdiger Ehlers ◽  
Bruno de O. Schmitt ◽  
Giovanni De Micheli

Secure Implementation of Lattice-Based Encryption Schemes

2019 ◽  
pp. 21-49
Author(s):  
Tobias Oder ◽  
Tobias Schneider ◽  
Tim Güneysu
Keyword(s):  
Encryption Schemes ◽  
Secure Implementation

Literal Selection in Switching Lattice Design

2019 ◽  
pp. 159-175
Author(s):  
Anna Bernasconi ◽  
Fabrizio Luccio ◽  
Linda Pagli ◽  
Davide Rucci
Keyword(s):  
Lattice Design

Derivative Operations for Classes C N $$\mathcal {C}_N$$ of Boolean Functions

2019 ◽  
pp. 51-82
Author(s):  
Bernd Steinbach ◽  
Christian Posthoff
Keyword(s):  
Boolean Functions

New Results on Reversible Boolean Functions Having Component Functions with Specified Properties

2019 ◽  
pp. 217-236 ◽  
Author(s):  
Paweł Kerntopf ◽  
Krzysztof Podlaski ◽  
Claudio Moraga ◽  
Radomir Stanković
Keyword(s):  
Boolean Functions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document