Efficient Production Match Algorithm and Its Implication for Dynamic Constraint Satisfaction Problems