Enabling exponentially efficient and effective compliance checking