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

Wannes Meert, Jan Struyf, Hendrik Blockeel

Browse the full ILP paper archive.