<div dir="ltr"><div>Hi,</div><div><br></div><div>Thanks for pointing this out! I have another question, currently I'm adding constraints using SCIPcreateConsLinear. Does SCIP automatically detect knapsack-like constraints and apply the cover inequalities? Or should I replace SCIPcreateConsLinear by SCIPcreateConsKnapsack? Also, in my code I have this line: SCIP_CALL(SCIPsetSeparating(scip, SCIP_PARAMSETTING_OFF, TRUE)). Would I need to enable separating for cover inequalities to work properly? (If I remember correctly, I added this line because my custom constraint handler was not working properly without it. I'm implementing a Branch-and-Cut algorithm).</div><div><br></div><div>Thanks,</div><div>Matheus<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Em sáb., 18 de abr. de 2020 às 13:37, Marc Pfetsch <<a href="mailto:pfetsch@mathematik.tu-darmstadt.de">pfetsch@mathematik.tu-darmstadt.de</a>> escreveu:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
Dear Matheus,<br>
<br>
cover inequalities are separated automatically. But since the separation<br>
problem is NP-hard in general, one needs to be careful about the<br>
separation algorithms.<br>
<br>
An overview on most of the cutting planes is given in Chapter 8 of the<br>
PhD thesis of Tobias Achterberg, available through the SCIP web page.<br>
Details on knapsack inequalities are given in the diploma thesis of Kati<br>
Wolter (<a href="http://www.zib.de/groetschel/students/Diplom-Wolter-2006.pdf" rel="noreferrer" target="_blank">http://www.zib.de/groetschel/students/Diplom-Wolter-2006.pdf</a>).<br>
<br>
Note that the development of SCIP has evolved since then (i.e. since<br>
2007 and 2006), so the performance of SCIP 7 will be different.<br>
<br>
Best<br>
<br>
Marc<br>
<br>
<br>
<br>
On 17/04/2020 20:22, Matheus Ota wrote:<br>
> Hi,<br>
> <br>
> If I add a knapsack inequality in my model (\sum w_i x_i <= B), does<br>
> SCIP automatically adds cover inequalities to strengthen my model? Or<br>
> should I add then manually?<br>
> <br>
> I saw here (<a href="https://scip.zib.de/doc/html/cons__knapsack_8c.php" rel="noreferrer" target="_blank">https://scip.zib.de/doc/html/cons__knapsack_8c.php</a>) that<br>
> SCIP have functions for Cover inequalities, but should I manually call<br>
> these or are they automatically called? I ask this because I believe<br>
> than in Gurobi the solver automatically adds cover inequalities for the<br>
> knapsack-like constraints. Also, is there some "easy to follow"<br>
> documentation on the inequalities already built-in in SCIP? I want to<br>
> avoid "reinventing the wheel" the maximum I can.<br>
> <br>
> Thanks,<br>
> Matheus<br>
> <br>
> _______________________________________________<br>
> Scip mailing list<br>
> <a href="mailto:Scip@zib.de" target="_blank">Scip@zib.de</a><br>
> <a href="https://listserv.zib.de/mailman/listinfo/scip" rel="noreferrer" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br>
> <br>
_______________________________________________<br>
Scip mailing list<br>
<a href="mailto:Scip@zib.de" target="_blank">Scip@zib.de</a><br>
<a href="https://listserv.zib.de/mailman/listinfo/scip" rel="noreferrer" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br>
</blockquote></div>