CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods.