[PPT] - Satisfjability Checking and Conjunctive Query Answering in PowerPoint Presentation