X-SAT: An Efficient Circuit-Based SAT Solver

Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai
January 2025
PDF DOI
Type
Conference paper
Publication
DAC 2025
Conf