Efficient local search for very large-scale satisfiability problems (1992)

by J Gu
Venue:SIGART Bulletin