Cha#: Engineering an e#cient sat solver (2001)

by M Moskewicz, C Madigan, Y Zhao, L Zhang, S Malik
Venue:In 39th Design Automation Conference, Las Vegas