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

by Holger H. Hoos
Citations:34 - 7 self