@inproceedings{ReichlSlivovskySzeider24,
 address = {Dagstuhl, Germany},
 author = {Franz-Xaver Reichl and Friedrich Slivovsky and
Stefan Szeider},
 booktitle = {27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)},
 doi = {10.4230/LIPIcs.SAT.2024.23},
 editor = {Chakraborty, Supratik and Jiang, Jie-Hong Roland},
 keywords = {strides},
 pages = {23:1--23:14},
 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{ü}r Informatik},
 series = {Leibniz International Proceedings in Informatics (LIPIcs)},
 title = {{eSLIM:} Circuit Minimization with {SAT} Based Local
Improvement},
 volume = {305},
 year = {2024}
}