Refinement Operator 1. Refine literal i by specializing it (order number i.1)

• replace any(X,Y) by X=Y
• replace any(X) by X=a by X=b ... (descend value hierarchy)
• replace any(X) by X < t or X � t ). t found by a local search procedure.

2. Refine literal i by following link l (order number i.2.l)

• add variable-only literal for target relation of link
• add "any(X)" for any variable X occuring in the literal
• add "any(X,Y)" for any new compatible pair of variables

 

---