Dsat: A Native SAT Solver for Discrete Logic.

Yaofang Zhang, Ken Zhou, Adnan Darwiche

Browse the full SAT paper archive.