Compatible Equivalence Checking of X-Valued Circuits

Published in Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2021