A Fast Pseudo-Boolean Constraint Solver (2003)

Cached

Download Links

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