Für das Smuggler's-Knapsack-Problem mit der Strategie search wurde ein weiteres Constraint W>1 erzeugt. Außerdem wurde die Domäne der Variable W manuell auf den Wert 2 beschränkt. Damit verbleibt nur noch eine einzige Belegung als gültige Lösung für das derart modifizierte Constraint-Problem: W=2, C=0 und P=0. Das Resultat der Strategie search sieht folgendermaßen aus:
Ergebnis fuer Smuggler's Knapsack (1):
======================================
Strategie: 'search'
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;
Im Ergebnis konnte die einzig verbliebende Lösung für das modifizierte Smuggler's-Knapsack-Problem durch den Suchalgorithmus gefunden werden.