Added max-product LP relaxation

what do you mean var sets? intersection sets? which are intersection of variables with other regions.