Efficient belief propagation for higher-order cliques using linear constraint nodes