DMCA

A Fast Pseudo-Boolean Constraint Solver (2003)

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