In our experiments, we use Gurobi, a state-of-the-art ILP solver to compute the MAP solution for the MLN (Sarkhel et al., 2014).
it turns out that a naive application of approximate MAP solvers to our problem is still infeasible in practice.