A.: A fast pseudo-Boolean constraint solver. In: (2003)

by D Chai, Kuehlmann
Venue:Design Automation Conference,