A Comparison of SAT-based and SMT-based Frameworks for X-value Combinational Equivalence Checking. - Raiyyan Malik; Shubham Baunthiyal; Puneet Kumar; Srinath J; Sneh Saurabh (VLSI-SoC, 2022)