SAT Techniques for Modal and Description Logics