A Smart Home Demand Response System based on Artificial Neural Networks Augmented with Constraint Satisfaction Heuristic | IEEE Conference Publication | IEEE Xplore