Constraint-Based Control of Boiler Efficiency: A Data-Mining Approach | Synapse