The EPFL Logic Synthesis Libraries
Not on the map. Why?
Abstract (arXiv)
We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design of classical and emerging technologies, as well as for the implementation of quantum compilers. All libraries are well documented and well tested. Furthermore, being header-only, the libraries can be readily used as core components in complex logic synthesis systems.
Key facts. Cited by 6 papers in the map (data through 14 Oct 2026). First posted on arXiv 14 May 2018.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 1; 2022: 0; 2023: 2; 2024: 2; 2025: 0; 2026: 1.
6 papers.
- 2023Framework and Benchmarks for Combinatorial and Mixed-variable Bayesian Optimizationcited by 16
- 2024OpenLS-DGF: An Adaptive Open-Source Dataset Generation Framework for Machine Learning Tasks in Logic Synthesiscited by 3
- 2023Adaptive Reconvergence-driven AIG Rewriting via Strategy Learningcited by 2
- 2021SAT-based Circuit Local Improvementcited by 0
- 2024Cirbo: A New Tool for Boolean Circuit Analysis and Synthesiscited by 0
- 2026QEncodeBench: Can Large Language Models Encode Classical Problems into Verified Quantum Oracles?cited by 0
- 2026QEncodeBench: Can Large Language Models Encode Classical Problems into Verified Quantum Oracles?31 Jul 2026
- 2024Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis19 Dec 2024
- 2024OpenLS-DGF: An Adaptive Open-Source Dataset Generation Framework for Machine Learning Tasks in Logic Synthesis14 Nov 2024
- 2023Adaptive Reconvergence-driven AIG Rewriting via Strategy Learning22 Dec 2023
- 2023Framework and Benchmarks for Combinatorial and Mixed-variable Bayesian Optimization16 Jun 2023
- 2021SAT-based Circuit Local Improvement19 Feb 2021