Aksoy, L. & Altun, M. (2019) A Satisfiability-Based Approximate Algorithm for Logic Synthesis Using Switching Lattices. 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE).