Weighted Constraint Satisfaction for Smart Home Automation and Optimization

Table 1

Example activities and their weights.

Name	Precondition	Effect	Weight
generatorON	n/a		2
lightON			3
fanON			2