Stronger reduction criteria for local first search (2006)

by M E Kurbán, P Niebert, H Qu, W Vogler
Venue:In Proc. of ICTAC06, LNCS 4281