A fast pseudo-boolean constraint solver (0)

by D Chai, A Kuehlmann
Venue:in Proceedings of DAC ’03