Stronger Inference through Implied Literals from Conflicts and Knapsack Covers

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38171-3_1 ◽

2013 ◽

pp. 1-11 ◽

Cited By ~ 2

Author(s):

Tobias Achterberg ◽

Ashish Sabharwal ◽

Horst Samulowitz