Automated Enforcement Algorithms