Human-Centric Automation and Optimization for Smart Homes
Bucket elimination: a unifying framework for reasoning