TY - RPRT TI - Variable Elimination in the Fourier Domain AU - Yexiang Xue AU - Stefano Ermon AU - Ronan Le Bras AU - Carla P. Gomes AU - Bart Selman PY - 2016 UR - https://arxiv.org/abs/1508.04032 ID - 1508.04032 ER -