Return to Article Details Lifted Variable Elimination: Decoupling the Operators from the Constraint Language Download Download PDF