Comprehensive search for ECO rectification using symbolic sampling

Published in DAC, 2019

Victor N. Kravets, Nian-Ze Lee, and Jie-Hong R. Jiang. In Proceedings of the Annual Design Automation Conference, DAC, pages 71:1-71:6. ACM, 2019. https://doi.org/10.1145/3316781.3317790