DMCA

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

by Roberto J. Bayardo
Citations:232 - 1 self