Raiyyan Malik

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Constraint Networks

Top Venues

Publications

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