X-SAT: An Efficient Circuit-Based SAT Solver.

Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai

Browse the full DAC paper archive.