A Mixed Integer Programming Formulation for Optimal Scheduling of Household Appliances with Budget Constraint | IEEE Conference Publication | IEEE Xplore