Exploiting constraints, sequential structure, and knowledge in Markov logic networks