collaborators

1 paper

cs.LO2018

Exact Synthesis of ESOP Forms

Heinz Riener, Rüdiger Ehlers, Bruno Schmitt +1

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 fin…