Publication

SAT-Based Exact Synthesis for Multi-Level Logic Networks

Related publications (121)

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.

The $ L ^{ 1 } $ -Potts Functional for Robust Jump-Sparse Reconstruction

Martin Kurt Storath

We investigate the nonsmooth and nonconvex

L ^{ 1 }

-Potts functional in discrete and continuous time. We show Γ-convergence of discrete

L ^{ 1 }

-Potts functionals toward their continuous counterpart and obtain a convergence statement for the corr ...

SIAM2015

SAT-Based Exact Synthesis for Multi-Level Logic Networks

Graph Chatbot

Chat with Graph Search

Boolean Logic Optimization in Majority-Inverter Graphs

Automated Design Flow for Multi-Functional Dataflow-Based Platforms

Exploiting Circuit Duality to Speed Up SAT

FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction

NEM Relay Design with Biconditional Binary Decision Diagrams

Handbook of Bioelectronics

The $ L ^{ 1 } $ -Potts Functional for Robust Jump-Sparse Reconstruction

A Circuit Synthesis Flow for Controllable-Polarity Transistors

Majority Logic Representation and Satisfiability

Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization

Boolean Logic Optimization in Majority-Inverter Graphs

Exploiting Circuit Duality to Speed Up SAT

FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction

Handbook of Bioelectronics

Majority Logic Representation and Satisfiability

The $ L ^{ 1 } $ -Potts Functional for Robust Jump-Sparse Reconstruction

NEM Relay Design with Biconditional Binary Decision Diagrams

Automated Design Flow for Multi-Functional Dataflow-Based Platforms

A Circuit Synthesis Flow for Controllable-Polarity Transistors

Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization