Many complex problems in practice can be reduced to constraint solving, which enables the use of highly optimized, standardized tools. However, recognizing the potential for applying constraint solving to a particular problem is not trivial. In addition, there are many aspects to consider when selecting suitable tools, as performance can be severely impaired by a suboptimal selection. In this course we deal with different applications that can benefit from constraint solving, strategies to reduce such applications to constraint solving problems and state-of-the art tools to solve such problems.
The lecture deals with the following contents: