publication venue for A Probability-based Approach Resolving Thermal Preference Conflicts through Optimal Cubicle Assignment 2020