Franz-Xaver Reichl

Recent Publications

eSLIM: Circuit Minimization with SAT Based Local Improvement

2024

Improved Circuit Minimization with Exact Synthesis

2024

Circuit Minimization with QBF-Based Exact Synthesis

2023