Variable Elimination In Ai