A Fast Pseudo-Boolean Constraint Solver (2003)

Cached

Download Links

by Donald Chai , Andreas Kuehlmann
Citations:101 - 1 self