eSLIM: Circuit Minimization with SAT Based Local Improvement

Abstract

Full Citation:

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider. eSLIM: Circuit Minimization with SAT Based Local Improvement. 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) (Chakraborty, Supratik and Jiang, Jie-Hong Roland), volume 305 of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1-23:14, 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.