Skip to content

A Satisfiability-Based Approximate Algorithm for Logic Synthesis Using Switching Lattices.

Levent Aksoy, Mustafa Altun

VenueADATE
Year2019
ProceedingsDATE

Browse the full DATE paper archive.