DMCA

An Empirical Study of Greedy Local Search for Satisfiability Testing (1993)

Cached

Download Links

by Bart Selman And , Bart Selman , Henry A. Kautz