Is it true that the more we add constraint to a constraint programming solver the more efficient it will be? How does this compare to adding constraints in integer programming solvers.
This is not true in practice. Moreover, this is something almost impossible to guess without experimenting. Indeed, adding constraints (proven to be mathematical valid, or just guessed by your flair and feeling of the business) to a mathematical optimization model that is solved by constraint programming techniques or integer programming techniques should be good to cut some branches of the enumeration tree (that is, the enumeration of partial solutions), by improving the propagation of constraints and/or the continuous relaxation. On the other hand, constraint programming solvers and integer programming solvers now rely on many heuristic ingredients; adding constraints may be bad for these heuristics. In conclusion, sometimes this is good, sometimes not ;-) Take the time to experiment on the instances you have to solve.