TY  - RPRT
TI  - Lifted Variable Elimination: Decoupling the Operators from the Constraint Language
AU  - Nima Taghipour
AU  - Daan Fierens
AU  - Jesse Davis
AU  - Hendrik Blockeel
PY  - 2014
DO  - 10.1613/jair.3793
UR  - https://arxiv.org/abs/1402.0565
ID  - 1402.0565
ER  -