[PPT] - Optimal Verification of Operations on Dynamic Sets Charalampos PowerPoint Presentation