1. Alan Mishchenko Robert Brayton and A Mishchenko. 2006. Scalable logic synthesis using a simple circuit structure. In International Workshop on Logic and Synthesis (IWLS), Vol. 6. 15--22.
2. ABC: An Academic Industrial-Strength Verification Tool
3. Animesh Basak Chowdhury, Marco Romanelli, Benjamin Tan, Ramesh Karri, and Siddharth Garg. 2023. Invictus: Optimizing boolean logic circuit synthesis via synergistic learning and search. arXiv preprint arXiv:2305.13164 (2023).
4. Animesh Basak Chowdhury, Benjamin Tan, Ryan Carey, Tushit Jain, Ramesh Karri, and Siddharth Garg. 2022. Too Big to Fail? Active Few-Shot Learning Guided Logic Synthesis. arXiv preprint arXiv:2204.02368 (2022).
5. Animesh Basak Chowdhury, Benjamin Tan, Ramesh Karri, and Siddharth Garg. 2021. OpenABC-D: A large-scale dataset for machine learning guided integrated circuit synthesis. arXiv preprint arXiv:2110.11292 (2021).