Cha: Engineering an ecient sat solver (2001)

by M W Moskewicz, C F Madigan, Y Zhao, L Zhang, S Malik
Venue:In Proc. Intl. Design Automation Conference (DAC-01