##article.return## Bounded Dynamic Level Maintenance for Efficient Logic Optimization Download Download PDF