Pošljite SMS: Programming with constraints : an introduction / Kim Marriott and Peter J. Stuckey.