A fast pseudo-Boolean constraint solver (2005)

by Donald Chai, Andreas Kuehlmann
Venue:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems