This is a nice collection of algorithmic applications of the principle of inclusion-exclusion: For even more examples, check out Section 10.1 here: