Representation

Variable Elimination