[PPT] - On Modelling Virtual Machine Consolidation to Pseudo-Boolean PowerPoint Presentation