eSLIM: Circuit Minimization with SAT Based Local Improvement.

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

Browse the full SAT paper archive.