SAT-Encodings, Search Space Structure, and Local Search Performance (1999)

by Holger H. Hoos
Citations:29 - 7 self