Theoretical Aspects Of Local Search by Emile Aarts, Jan Korst & Wil Michiels