Publication

Majority Logic Representation and Satisfiability

Related publications (76)

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.

Majority Logic Representation and Satisfiability

Graph Chatbot

Chat with Graph Search

Size Optimization of MIGs with an Application to QCA and STMG Technologies

Nonsilicon, Non-von Neumann Computing—Part I

Functional Decomposition Using Majority

Functional Decomposition Using Majority

Majority Logic Synthesis

Canonical Computation without Canonical Representation

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Exploiting Satisfiability Solvers for Efficient Logic Synthesis

Multi-level Logic Benchmarks: An Exactness Study

A Novel Basis for Logic Rewriting

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Exploiting Satisfiability Solvers for Efficient Logic Synthesis

Functional Decomposition Using Majority

Nonsilicon, Non-von Neumann Computing—Part I

Size Optimization of MIGs with an Application to QCA and STMG Technologies

Functional Decomposition Using Majority

Canonical Computation without Canonical Representation

A Novel Basis for Logic Rewriting

Multi-level Logic Benchmarks: An Exactness Study

Majority Logic Synthesis