Lifted Variable Elimination: Decoupling the Operators from the Constraint Language

Open in new window