1. Luca Gaetano Amarù Pierre-Emmanuel Gaillardon and Giovanni De Micheli. 2015. The EPFL Combinational Benchmark Suite. Luca Gaetano Amarù Pierre-Emmanuel Gaillardon and Giovanni De Micheli. 2015. The EPFL Combinational Benchmark Suite.
2. Majority-Inverter Graph: A New Paradigm for Logic Optimization
3. DAG-aware circuit compression for formal verification
4. A novel basis for logic rewriting
5. AIG rewriting using 5-input cuts