Stronger Reduction Criteria for Local First Search.

Marcos E. Kurbn, Peter Niebert, Hongyang Qu, Walter Vogler

Browse the full ICTAC paper archive.