TY - RPRT TI - Lifted Variable Elimination: A Novel Operator and Completeness Results AU - Nima Taghipour AU - Daan Fierens AU - Guy Van den Broeck AU - Jesse Davis AU - Hendrik Blockeel PY - 2012 UR - https://arxiv.org/abs/1208.3809 ID - 1208.3809 ER -