PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation | IEEE Conference Publication | IEEE Xplore