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

by J Gu
Venue:SIGART Bulletin