Publication

Optimizing Majority-Inverter Graphs with Functional Hashing

About
Privacy
Disclaimer

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Optimizing Majority-Inverter Graphs with Functional Hashing

Graph Chatbot

Chat with Graph Search

Conversational Multi-Hop Reasoning with Neural Commonsense Knowledge and Symbolic Logic Rules

Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition

SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism

Extending Boolean Methods for Scalable Logic Synthesis

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks

SAT-Sweeping Enhanced for Logic Synthesis

SAT-Sweeping Enhanced for Logic Synthesis

Reconfigurable Logic Gates Based on Programable Multistable Mechanisms

Programmable Logic Gates Based On Tunable Multistable Mechanisms

Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition

SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

Extending Boolean Methods for Scalable Logic Synthesis

A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks

SAT-Sweeping Enhanced for Logic Synthesis

Reconfigurable Logic Gates Based on Programable Multistable Mechanisms

SAT-Sweeping Enhanced for Logic Synthesis

Programmable Logic Gates Based On Tunable Multistable Mechanisms

Conversational Multi-Hop Reasoning with Neural Commonsense Knowledge and Symbolic Logic Rules