The Logic of Search Algorithms: Theory and Applications (1997)

by Ian P Gent, Judith L Underwood
Venue:In CP