"A fast pseudo-boolean constraint solver."

Donald Chai, Andreas Kuehlmann (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics