Stem ecr$ (all stems)
2 papers:
- DAC-2010-YangLW #complexity #fault #named
- ECR: a low complexity generalized error cancellation rewiring scheme (XY, TKL, YLW), pp. 511–516.
- CADE-1986-Wang #named #proving #similarity
- ECR: An Equality Conditional Resolution Proof Procedure (TCW), pp. 254–271.