Affiliation:
1. School of Computer Science, Peking University, China
Funder
the National Key R&D Program of China
the National Natural Science Foundation of China
Reference20 articles.
1. Luca Amarú Pierre-Emmanuel Gaillardon 2015. The EPFL combinational benchmark suite. In IWLS.
2. Alessandro Tempia Calvino Heinz Riener 2022. A versatile mapping approach for technology mapping and graph optimization. In ASP-DAC.
3. Katalin Fazekas Armin Biere 2019. Incremental inprocessing in SAT solving. In SAT.
4. Xianliang Ge and Shinji Kimura. 2023. Theory and Application of Topology-based Exact Synthesis for Majority-Inverter Graphs. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2023).
5. Winston Haaswijk Mathias Soeken 2017. A novel basis for logic rewriting. In ASP-DAC.