DMCA

Using CSP look-back techniques to solve real-world SAT instances (1997)

by Roberto J. Bayardo
Citations:228 - 1 self