Energy-aware VM scheduling in IaaS clouds using pliant logic