Publications associées à Algèbre de Boole (structure)

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Enumerating Optimal Quantum Circuits using Spectral Clasification

Giovanni De Micheli, Mathias Soeken, Giulia Meuli

This work targets fault-tolerant quantum computing and focuses on the problem of mapping reversible circuits into the Clifford+T quantum gate library. We present an automatically-generated database containing minimal-cost quantum circuits for Boolean funct ...

2020

CHIMERA: Combining Ring-LWE-based Fully Homomorphic Encryption Schemes

Dimitar Petkov Jetchev

This paper proposes a practical hybrid solution for combining and switching between three popular Ring-LWE-based FHE schemes: TFHE, B/FV and HEAAN. This is achieved by first mapping the different plaintext spaces to a common algebraic structure and then by ...

WALTER DE GRUYTER GMBH2020

Advanced Functional Decomposition Using Majority and Its Applications

Giovanni De Micheli, Mathias Soeken, Zhufei Chu

Typical operators for the decomposition of Boolean functions in state-of-the-art algorithms are AND, exclusive-OR (XOR), and the 2-to-1 multiplexer (MUX). We propose a logic decomposition algorithm that uses the majority-of-three (MAJ) operation. Such a de ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Extending Boolean Methods for Scalable Logic Synthesis

Giovanni De Micheli, Mathias Soeken, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Eleonora Testa

In recent years, Boolean methods in logic synthesis have been drawing the attention of EDA researchers due to the continuous push to advance quality of results. Boolean methods require high computational cost, as they rely on complete functional properties ...

2020

Digital Design with Implicit State Machines

Martin Odersky, Aleksandar Prokopec, Fengyun Liu

Claude Shannon, in his famous thesis (1938), revolutionized circuit design by showing that Boolean algebra subsumes all ad-hoc methods that are used in designing switching circuits, or combinational circuits as they are commonly known today. But what is ...

2020

The Power of Many Samples in Query Complexity

Mika Tapani Göös

The randomized query complexity 𝖱(f) of a boolean function f: {0,1}ⁿ → {0,1} is famously characterized (via Yao’s minimax) by the least number of queries needed to distinguish a distribution 𝒟₀ over 0-inputs from a distribution 𝒟₁ over 1-inputs, maximized ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2020

Forbidden induced subposets of given height

Istvan Tomon

Let P be a partially ordered set. The function La* (n, P) denotes the size of the largest family F subset of 2([n]) that does not contain an induced copy of P. It was proved by Methuku and Palvolgyi that there exists a constant C-P (depending only on P) su ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2019

Exact Synthesis of ESOP Forms

Giovanni De Micheli, Heinz Riener, Bruno Schmitt Antunes

We present an exact synthesis approach for computing Exclusive-or Sum-of-Products (ESOP) forms with a minimum number of product terms using Boolean satisfiability. Our approach finds one or more ESOP forms for a given Boolean function. The approach can dea ...

Springer2019

Algèbre de Boole (structure)

Graph Chatbot

Chattez avec Graph Search

Enumerating Optimal Quantum Circuits using Spectral Clasification

CHIMERA: Combining Ring-LWE-based Fully Homomorphic Encryption Schemes

Packing the Boolean lattice with copies of a poset

Advanced Functional Decomposition Using Majority and Its Applications

Extending Boolean Methods for Scalable Logic Synthesis

Digital Design with Implicit State Machines

The Power of Many Samples in Query Complexity

Forbidden induced subposets of given height

On the Number of Containments in P-free Families

Exact Synthesis of ESOP Forms

Enumerating Optimal Quantum Circuits using Spectral Clasification

CHIMERA: Combining Ring-LWE-based Fully Homomorphic Encryption Schemes

Packing the Boolean lattice with copies of a poset

Extending Boolean Methods for Scalable Logic Synthesis

Digital Design with Implicit State Machines

On the Number of Containments in P-free Families

Exact Synthesis of ESOP Forms

The Power of Many Samples in Query Complexity

Advanced Functional Decomposition Using Majority and Its Applications

Forbidden induced subposets of given height