E cient local search for very large-scale satis ability problems (1992)

by J Gu
Venue:SIGART Bull