Reichl, F. X., Slivovsky, F., & Szeider, S. (2024). eSLIM: Circuit Minimization with SAT Based Local Improvement. In 27th International Conference on Theory and Applications of Satisfiability Testing (pp. 23:1-23:14). Schloss Dagstuhl. https://doi.org/10.4230/LIPIcs.SAT.2024.23 ( reposiTUm)