Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

What is an implied constraint?

April 26, 2017constraint implied

0

Posted

What is an implied constraint?

1 Answer

0

Posted

Given a constraint problem, if after the initial modeling the problem takes too much time to obtain a solution then it can be refined further by adding new constraints. These newly added constraints do not change the set of solutions, but rather increase the propagation capabilities of the solver. Such constraints are called implied constraints. Nowadays the CP community has designed ways of developing automatic methods to generate implied constraints.