Chapter 32: SAT techniques for modal and description logics