Note that Equation 4 contains exponentially many constraints and cannot be enforced jointly for general scoring functions.
our sampling procedure generates a small number of structures along the search path.