Stronger Inference through Implied Literals from Conflicts and Knapsack Covers.

Tobias Achterberg, Ashish Sabharwal, Horst Samulowitz

Browse the full CPAIOR paper archive.