NEM relay design with biconditional binary decision diagrams. - Winston Haaswijk; Luca Gaetano Amarù; Pierre-Emmanuel Gaillardon; Giovanni De Micheli (NANOARCH, 2015)

Multi-level logic benchmarks: An exactness study. - Luca Gaetano Amarù; Mathias Soeken; Winston Haaswijk; Eleonora Testa; Patrick Vuillod; Jiong Luo; Pierre-Emmanuel Gaillardon; Giovanni De Micheli (ASP-DAC, 2017)

A novel basis for logic rewriting. - Winston Haaswijk; Mathias Soeken; Luca Gaetano Amarù; Pierre-Emmanuel Gaillardon; Giovanni De Micheli (ASP-DAC, 2017)

Classifying Functions with Exact Synthesis. - Winston Haaswijk; Eleonora Testa; Mathias Soeken; Giovanni De Micheli (ISMVL, 2017)

SAT based exact synthesis using DAG topology families. - Winston Haaswijk; Alan Mishchenko; Mathias Soeken; Giovanni De Micheli (DAC, 2018)

Practical exact synthesis. - Mathias Soeken; Winston Haaswijk; Eleonora Testa; Alan Mishchenko; Luca Gaetano Amarù; Robert K. Brayton; Giovanni De Micheli (DATE, 2018)

Integrated ESOP Refactoring for Industrial Designs. - Winston Haaswijk; Luca Gaetano Amarù; Patrick Vuillod; Jiong Luo; Mathias Soeken; Giovanni De Micheli (ICECS, 2018)

Deep Learning for Logic Optimization Algorithms. - Winston Haaswijk; Edo Collins; Benoit Seguin; Mathias Soeken; Frédéric Kaplan; Sabine Süsstrunk; Giovanni De Micheli (ISCAS, 2018)

The EPFL Logic Synthesis Libraries. - Mathias Soeken; Heinz Riener; Winston Haaswijk; Giovanni De Micheli (CoRR, 2018)

Scalable Generic Logic Synthesis: One Approach to Rule Them All. - Heinz Riener; Eleonora Testa; Winston Haaswijk; Alan Mishchenko; Luca G. Amarù; Giovanni De Micheli; Mathias Soeken (DAC, 2019)

On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis. - Heinz Riener; Winston Haaswijk; Alan Mishchenko; Giovanni De Micheli; Mathias Soeken (DATE, 2019)

Exact Synthesis of Boolean Functions in Majority-of-Five Forms. - Zhufei Chu; Winston Haaswijk; Mathias Soeken; Yinshui Xia; Lun-Yao Wang; Giovanni De Micheli (ISCAS, 2019)

Logic Optimization of Majority-Inverter Graphs. - Heinz Riener; Eleonora Testa; Winston Haaswijk; Alan Mishchenko; Luca G. Amarù; Giovanni De Micheli; Mathias Soeken (MBMV, 2019)

Mapping Monotone Boolean Functions into Majority. - Eleonora Testa; Mathias Soeken; Luca Gaetano Amarù; Winston Haaswijk; Giovanni De Micheli (IEEE Trans. Computers, 2019)

SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism. - Winston Haaswijk; Mathias Soeken; Alan Mishchenko; Giovanni De Micheli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

One-pass Synthesis for Field-coupled Nanocomputing Technologies. - Marcel Walter; Winston Haaswijk; Robert Wille; Frank Sill Torres; Rolf Drechsler (ASP-DAC, 2021)