Reflected BSDEs and the obstacle problem for semilinear PDEs in divergence form

We consider the Cauchy problem for a semilinear parabolic equation in divergence form with obstacle. We show that under natural conditions on the right-hand side of the equation and mild conditions on the obstacle, the problem has a unique solution and we provide its stochastic representation in terms of reflected backward stochastic differential equations. We also prove regularity properties and approximation results for solutions of the problem.