SMS versenden: Programming with constraints : an introduction / Kim Marriott and Peter J. Stuckey.