“…Naturally, in many of these some similarities to our two problem formulations can be found. Without being near to a complete list, we like to mention the following publications in this context (in chronological order): [41], [22], [36], [46], [18], [38], [37], [34], [40], [2], [24], [21], [15], [10], [47], and [20]. We also like to mention that differennt contraint programming and SAT techniques may work well in some cases, as it is suggested in papers like [45] or [5].…”