[PPT] - Efficient Decision Procedure for Bounded Integer Non-linear PowerPoint Presentation