Our work is most similar in spirit to the relaxation method presented by Riedel and Smith (2010) that incrementally adds second order edges to a graphical model based on a gain measure-the analog of our reduced cost.
they always score every higher order edge, and also provide no certificates of optimality.