Zum Smuggler's-Knapsack-Problem mit der Strategie search_with_look-ahead wurde ebenfalls ein Constraint W>1 hinzugefügt. Ersichtlich wird, dass, begründet durch den globalen Namensraum für Constraint-Variablen innerhalb von YACS, die Wertebereichseinschränkung für die Variable W auch diese Strategie beeinflusst. Entsprechend verbleibt auch für die Strategie search_with_look-ahead nur eine einzige Lösung für das Constraint-Problem: W=2, C=0 und P=0. Das Ergebnis des Lösungsalgorithmus stellt sich wie folgt dar:
Ergebnis fuer Smuggler's Knapsack (2):
=======================================
Strategie: 'search_with_look-ahead'
Expression: ((((4*W)+(3*P))+(2*C))<=9); ((((15*W)+(10*P))+(7*C))>=30);
(W>1)
Primitive Constraints: (3)
((((4*W)+(3*P))+(2*C))<=9)
((((15*W)+(10*P))+(7*C))>=30)
(W>1)
Variablen: [W, C, P]
Domaenen der Constraint-Variablen: (3)
W: [2]
C: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
P: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
Inkonsistenz: false
Loesung(en):
(1) W = 2, C = 0, P = 0;
Die einzige Lösung für das Constraint-Problem konnte wie erwartet auch durch die Strategie search_with_look-ahead generiert werden.