Equivalence Checking of EPFL Benchmarks

Xinyan Chen, Wenxuan Guo, Wanqian Luo, Hui-Ling Zhen, Xijun Li, Mingxuan Yuan, Junchi Yan

Abstract: To participate in SAT Competition 2022, we present an approach to generate CNFs via SAT encoding for circuit equivalence checking instances of EPFL Benchmarks.